Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
SpinControl: 스핀 큐비트 장치 및 측정 프로토콜 프로토타이핑과 벤치마킹을 위한 제어 소프트웨어
본 논문은 스핀 큐비트 양자 컴퓨터의 제어 소프트웨어인 SpinControl을 설계하고 제시한다. SpinControl은 데이터와 동작 분리, 기능 모듈화 및 확장성 확보, CI 파이프라인 기반 견고성을 통합하여 복잡한 양자 실험 환경에 대응한다. 이를 통해 다양한 장비 커스터마이징과 표준화된 측정/보정 프로토콜 구축을 지원한다.
2일 전0
arXivAI 번역논문
재현율 지향 정밀한 이진 코드-소스 함수 매칭
본 논문은 이진 코드에서 소스 함수로의 매칭 정밀도를 개선하기 위해 BScout을 제안합니다. BScout은 기존 위치 정보를 활용하여 검색 범위를 확장하고, 구성 인식 훈련(composition-aware training)을 통해 인라이닝 문제를 해결합니다. 실험 결과, BScout은 높은 정밀도와 재현율을 보여 기존 방법론보다 우수한 성능을 입증했습니다.
2일 전0
arXivAI 번역논문
Rust용 정적 애플리케이션 보안 테스트(SAST) 도구 평가 및 개선
본 논문은 실제 Rust 애플리케이션의 보안 취약점을 기반으로 기존 SAST 도구들을 평가하고, 그 효과성을 체계적으로 분석했습니다. 연구진은 LLM을 활용하여 의미 보존 변환을 도출하고 돌연변이 프로그램을 생성하는 자동화 테스트 프레임워크인 TRUST를 제안했습니다. 이 프레임워크는 6개 SAST 도구에서 총 46개의 결함을 발견하며, Rust SAST 도구 개선에 대한 실질적인 지침을 제공합니다.
5일 전1
arXivAI 번역논문
코드 생성을 위한 에이전트 지침 카테고리의 역할: 다섯 가지 Python 라이브러리 연구
본 연구는 에이전트 코딩 시스템의 효율성을 높이기 위해 다섯 가지 지침 카테고리(저장소 개요, 함수 설명 등)가 코드 생성에 미치는 영향을 평가했습니다. Gemma 4와 GPT-5.4 두 LLM을 사용하여 다양한 Python 라이브러리 조합에서 테스트를 진행한 결과, 특정 지침이 모델별로 높은 성능을 보였습니다.
5일 전1
arXivAI 번역논문
Poison Valleys: LLM 코드 복구의 경로 의존적 실패 진단
본 논문은 LLM 기반 코드 복구 에이전트의 실패 원인을 진단하는 새로운 방법론인 'Poison Valleys'를 제안합니다. 이 연구는 두 가지 합성 Python 사례(PersistQueue, Dijkstra)에서 모델 요청을 통해 경로 의존적 실패를 추적하며, 오개념이 가설 및 계획 단계에 미치는 영향을 분석했습니다.
5일 전0
arXivAI 번역논문
다중 공급자 양자 컴퓨팅에서의 실현 분산: 측정으로 살아남는 것에 대한 사전 등록 연구
본 연구는 양자 프로그램이 작성된 소스 회로와 실제 하드웨어에서 실행되는 과정 사이의 차이, 즉 '실현 분산(realization divergence)'을 분석합니다. 세 개의 벤더와 네 개의 장치에 걸친 실험 결과를 통해, 배치 정책과 하드웨어 특성에 따라 양자 회로의 성능 및 구현 방식에 상당한 차이가 있음을 보여줍니다.
5일 전0
arXivAI 번역논문
CodeHealth가 에이전트 기반 코드 리뷰의 토큰 비용을 예측한다: 465개의 에이전트 작성 풀 리퀘스트에 대한 사전 등록 연구
본 연구는 CodeHealth 지표가 에이전트 기반 코드 리뷰 및 수정 과정의 토큰 비용을 예측하는지 분석했습니다. 465개의 PR 샘플을 사용하여, CodeHealth 점수가 낮을수록 LLM 사용에 필요한 토큰 비용이 감소한다는 것을 발견했습니다. 이는 코드 품질 지표가 추론 비용에도 영향을 미칠 수 있음을 시사합니다.
5일 전0
arXivAI 번역논문
딥러닝 컴파일러를 위한 상태 기반 테스트 (Stateful Testing for Deep Learning Compilers)
본 논문은 딥러닝 컴파일러의 상태 유지(stateful) 과정에서 발생하는 버그를 탐지하는 새로운 방법인 Rondo를 제안합니다. Rondo는 호출 시퀀스를 변형하며, 마르코프 체인 몬테카를로 샘플러를 사용하여 드물게 관찰되는 동작을 선호합니다. 이 방법을 통해 기존 테스트보다 높은 커버리지와 정밀도로 상태 기반 버그를 효과적으로 찾아내고, 테스트 시퀀스 길이도 단축할 수 있음을 입증했습니다.
5일 전0
arXivAI 번역논문
우리가 잘못된 양자 버그를 테스트하고 있는가?: 양자 소프트웨어 테스트의 결함 표현 격차 연구
본 연구는 양자 소프트웨어의 실제 버그와 기존 테스트 기법(돌연변이 생성 결함, 벤치마크)이 표현하는 결함 간의 격차를 분석합니다. 실제 수집된 410개 버그 중 상당수는 현재의 테스트 도구들이 포착하지 못하는 컴파일러 변환이나 타입 처리 등 상위 레벨의 시스템적 문제에서 발생함을 밝힙니다.
5일 전1
arXivAI 번역논문
리눅스 커널의 디자인 인지 코드 리뷰 벤치마킹 및 향상 방안
본 논문은 단순한 결함 검출을 넘어선 '디자인 인지 코드 리뷰'의 중요성을 강조하며, 역사적 리뷰 토론에서 디자인 지식을 추출하는 DesignLore를 제안합니다. 또한, 실제 패치-리뷰 이력을 기반으로 한 벤치마크인 DesignReviewBench를 구축하여 평가했습니다.
5일 전1
arXivAI 번역논문
WEAVE: 실제 코드 진화 과정을 의존성 구조의 태스크로 엮어 코드 에이전트 평가 및 학습에 활용
WEAVE는 실제 소프트웨어 엔지니어링의 복잡한 변경 과정을 반영하여, 여러 PR을 의존성 구조화된 태스크로 변환하는 프레임워크입니다. 이를 통해 코드 에이전트가 장기적인 진척도를 측정하고 강화학습(RL)에 활용할 수 있는 일관되고 검증 가능한 학습 신호를 제공합니다.
5일 전1
arXivAI 번역논문
의존성 그래프는 코드-아키텍처 매핑에 언제 도움이 되는가?
본 논문은 코드 아키텍처 매핑 문제를 방향성 다중 관계 의존성 그래프 기반 준지도 학습 노드 분류 문제로 정의했습니다. GCN, GAT 등 여러 그래프 신경망 모델을 사용하여 오픈 소스 시스템에서 테스트한 결과, 특히 GAT가 높은 F1 점수를 기록하며 기존 기준 모델 대비 우수한 성능을 입증했습니다.
6일 전0
arXivAI 번역논문
코드 이해를 위한 시간 적응형 미세 조정 (Temporal Adaptive Fine-Tuning)
본 논문은 코드가 시간이 지남에 따라 진화하는 과정에서 발생하는 LLM의 코드 이해 문제(저장소 특화 모델의 정렬 불일치)를 다룹니다. 새로운 지식 습득, 구식 정보 억제, 유효한 지식 유지 등을 목표로 하는 시간 적응형 미세 조정(TAFT)을 제안합니다. TAFT는 확장된 SWE-bench 데이터셋에서 기존 방법론 대비 우수한 성능을 입증했습니다.
6일 전0
arXivAI 번역논문
P2Patch: 공격 기반 취약점 수리
본 논문은 LLM 기반 자동 프로그램 복구 에이전트의 취약점을 공격하는 생성적 적대적 시스템 P2Patch를 제안합니다. P2Patch는 익스플로잇 에이전트가 재현 가능한 PoV를 구성하고, 패치 에이전트가 수리한 후, 다시 익스플로잇 에이전트가 변형된 취약점으로 공격하는 적대적 루프를 사용합니다. 이 시스템은 기존의 단일 증거 기반 검증 방식보다 훨씬 높은 복구 커버리지를 달성함을 입증했습니다.
6일 전0
arXivAI 번역논문
테세우스의 코드: 에이전트가 복구된 설계 문서를 통해 소프트웨어를 재구성할 수 있는가?
본 연구는 기존 LLM 에이전트가 놓치기 쉬운 요구사항 및 설계 아티팩트를 복구하는 새로운 프레임워크를 제시합니다. 이 프레임워크는 정적 의존성 그래프와 핵심 컨텍스트 파일로부터 이해관계자의 의도, 요구사항, 아키텍처를 추출하여 LLM에게 제공합니다. 이를 통해 코딩 에이전트가 테스트만으로는 포착하기 어려운 설계 수준의 정보를 바탕으로 소프트웨어를 재구성할 수 있음을 입증했습니다.
6일 전0
arXivAI 번역논문
SWE-Stream: 점진적 구성과 탄성 스트리밍을 통한 SWE 에이전트 실행 가능 학습 데이터 확장
SWE-Stream은 점진적 구성과 탄성 스트리밍 실행을 결합하여 소프트웨어 엔지니어링(SWE) 에이전트 학습 데이터의 부족 문제를 해결하는 시스템입니다. 이 시스템은 기존 개발 이력을 활용해 대규모의 검증된 작업 데이터를 효율적으로 확장하고, 이를 통해 Qwen3-30B 모델을 미세 조정했습니다. 그 결과, SWE-bench 등 주요 벤치마크에서 높은 해결률을 달성하며 성능 우위를 입증했습니다.
6일 전0
arXivAI 번역논문
LintEval: Linter 기반 파일 리팩토링을 위한 LLM 평가 벤치마크
LintEval은 코드 유지보수 및 리팩토링 과정에서 린터가 안내하는 파일 수정 능력을 평가하기 위해 개발된 다국어 벤치마크입니다. 이 벤치마크는 기능성 보존, 린트 알림 감소 등 네 가지 측면을 종합적으로 측정합니다. 실험 결과, 상용 모델은 높은 린트 알림 감소율을 보였으나, 초기 기능성을 유지하는 능력(Pass@1)에는 한계가 있음을 확인했습니다.
6일 전0
arXivAI 번역논문
X.js: Node.js의 Taint-Style 취약점을 위한 실시간 벤치마크
본 논문은 Node.js 생태계의 심각한 취약점을 다루는 실시간 벤치마크 X.js를 제시합니다. X.js는 코드/명령어 주입, 프로토타입 오염 등 실제 taint-style 취약점 1,738개 권고 사항을 기반으로 구축되었으며, 실행 가능한 익스플로잇과 추적 정보를 제공하여 연구의 재현성을 높입니다.
10월 14일1
arXivAI 번역논문
DTScribe: 로컬 대규모 언어 모델을 활용한 디지털 트윈 보고서 생성 모델
본 논문은 대규모 언어 모델(LLM)을 활용하여 디지털 트윈 보고서 생성 과정을 자동화하는 방법을 제안합니다. 입력된 디지털 트윈 문서를 분석하여 개념적 아키텍처 시각화와 보고 페이지를 동시에 출력하도록 설계되었습니다. 특히, LLM이 심사위원 역할을 수행하고 온톨로지 추론을 거치는 정제 루프(refinement loops)를 통해 아티팩트 품질을 높이는 방식을 탐구했습니다.
10월 14일1
arXivAI 번역논문
SolBehave: LLM이 생성한 스마트 컨트랙트의 행동적 정확성 평가
본 글은 LLM이 생성한 스마트 컨트랙트의 단순 컴파일 성공 여부를 넘어선 행동적 정확성 평가 벤치마크인 SolBehave를 소개합니다. 이 벤치마크는 차분 퍼징, 히스토리컬 트랜잭션 리플레이, DCR 기반 합성 트랜잭션 리플레이 세 가지 테스트를 적용하여 모델의 실제 컨트랙트 동작을 검증합니다. 평가 결과, 대부분의 LLM은 컴파일만 성공할 뿐 실제 원본과 행동적으로 큰 차이를 보였습니다.
10월 14일1