Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
코딩 에이전트가 검토 속도를 앞지를 때: 성숙한 엔터프라이즈 저장소에서의 PRD 기반 개발 평가
본 글은 엔터프라이즈 환경의 복잡한 요구사항(PRD)을 충족하는 코딩 에이전트의 능력을 평가하기 위해 PACE 벤치마크를 소개합니다. 이 벤치마크는 요구사항 재구성, 기준 구축, 증거 기반 평가를 결합하여 실제 배포 과정에서의 부족한 부분을 측정합니다. 테스트 결과, GPT-5.6-Sol 모델이 가장 높은 완전 배포율을 보였으며, 개별 구성 요소 생성만으로는 전체 배포가 불완전할 수 있음을 시사합니다.
1일 전0
arXivAI 번역논문
SPLASH: 생성된 코드의 보안 환각을 탐지하고 위치를 지정하기 위한 대조적 감사 압력
SPLASH는 대규모 언어 모델(LLM)이 생성했으나 안전하지 않은 코드의 보안 환각을 탐지하고 취약한 위치를 지정하는 새로운 방법을 제시합니다. 이 방법은 '감사 압력'이라는 측정 지표를 사용하여, 프로그램과 문장 단위로 교차 편집 확률을 비교 분석합니다. SPLASH는 별도의 훈련이나 내부 접근 없이도 높은 정확도로 안전한 코드를 선택하고 취약점을 식별할 수 있음을 입증했습니다.
1일 전0
arXivAI 번역논문
VulnSAGE: LLM 추론을 프로그램 구조에 연결하여 SAST 보고서 판정하기
VulnSAGE는 LLM 추론을 프로그램 구조에 양방향으로 연결하여 SAST 보고서의 정확도를 높이는 시스템입니다. 이 시스템은 보고된 취약점과 이를 설명하는 코드 간의 의존성을 복구하고, 프로그램 그래프를 공유하여 모델 해석이 인용 근거를 갖도록 합니다. 실제 테스트 결과, VulnSAGE는 오탐지 중 89개를 거부하고 실제 결함 중 85개를 유지하며 높은 성능을 입증했습니다.
2일 전0
arXivAI 번역논문
라이브러리 퍼징 하네스 효율적 축소 기법
본 논문은 C/C++ 라이브러리 퍼징 하네스의 효율적인 최소화 시스템인 HarnessMinimizer를 제안합니다. 이 시스템은 헤더 분석과 재사용 가능한 런타임을 활용하여 축소 과정을 가속하고, 불필요한 입력 연산을 제거하며 충돌 보존성을 유지하는 것이 특징입니다. 실험 결과, 기존 파이프라인 대비 평균 총 벽 시간에서 최대 4.51배의 속도 향상을 달성했습니다.
2일 전0
arXivAI 번역논문
Code Skill Server: 코드 생성 능력을 위한 대규모 검색 엔진
본 논문은 에이전트의 코드 생성 능력을 향상시키기 위한 대규모 검색 엔진인 Code Skill Server (CSS)를 제안합니다. CSS는 다양한 출처에서 공개된 코드 생성 스킬을 수집하고 인덱싱하는 스킬 서버로, 기존 방식의 한계를 극복했습니다. 실험 결과에 따르면, CSS 사용 시 Pass@1이 최대 13.91% 향상되며 모델 성능 전반을 개선할 수 있음을 입증했습니다.
2일 전0
arXivAI 번역논문
에이전트 기반 증명 하네스 엔지니어링 방향성
본 글은 형식 검증(Formal verification) 과정의 수동 작업을 자동화하기 위해 '검증 에이전트'를 제안합니다. 특히, 프로그램 단위에 대한 격리된 검증 환경을 정의하는 증명 하네스 엔지니어링 과정을 코딩 에이전트로 대체할 것을 목표로 합니다. 연구진은 에이전트를 통해 소스 코드로부터 verifier-ready 하네스를 자동으로 구축하고, 이를 CBMC와 같은 도구로 성공적으로 활용하여 기존의 버그를 검출했음을 보여주었습니다.
2일 전0
arXivAI 번역논문
모니터링된 유효성 실패: 진화하는 프레임워크 경계에서의 LLM 안전 증거 경로
본 논문은 LLM 애플리케이션의 런타임 모니터링에서 발생하는 '인터페이스 신뢰성 문제'를 다룹니다. 이는 프레임워크가 정상 작동하더라도 정책 관련 증거가 결정 지점에 도달하지 못하는 안전 취약점을 의미합니다. 연구진은 캐나리 계약(canary contracts)을 활용하여 이러한 복구 경계 서명 프로토콜을 제안하고, 다양한 LLM/에이전트 프로젝트에서 18가지 증거 경로 실패 사례를 식별했습니다.
2일 전0
arXivAI 번역논문
SpinControl: 스핀 큐비트 장치 및 측정 프로토콜 프로토타이핑과 벤치마킹을 위한 제어 소프트웨어
본 논문은 스핀 큐비트 양자 컴퓨터의 제어 소프트웨어인 SpinControl을 설계하고 제시한다. SpinControl은 데이터와 동작 분리, 기능 모듈화 및 확장성 확보, CI 파이프라인 기반 견고성을 통합하여 복잡한 양자 실험 환경에 대응한다. 이를 통해 다양한 장비 커스터마이징과 표준화된 측정/보정 프로토콜 구축을 지원한다.
2일 전0
arXivAI 번역논문
MLOps-Bench: 실제 저장소 환경에서 AI 에이전트의 프로덕션 ML 엔지니어링 벤치마킹
MLOps-Bench는 AI 에이전트가 실제 프로덕션 ML 엔지니어링 환경에서 수행해야 할 작업을 평가하는 새로운 저장소 기반 벤치마크입니다. 이 벤치마크는 데이터 파이프라인, 피처 엔지니어링, 모델 서빙 등 전체 ML 라이프사이클의 변경 사항을 포괄적으로 다룹니다. 평가 결과, 현재 에이전트들은 부분적인 진전을 보이지만, 프로덕션 환경에서 요구되는 행동적 견고성과 시스템 동작 보존 능력이 부족함을 보여줍니다.
2일 전0
arXivAI 번역논문
재현율 지향 정밀한 이진 코드-소스 함수 매칭
본 논문은 이진 코드에서 소스 함수로의 매칭 정밀도를 개선하기 위해 BScout을 제안합니다. BScout은 기존 위치 정보를 활용하여 검색 범위를 확장하고, 구성 인식 훈련(composition-aware training)을 통해 인라이닝 문제를 해결합니다. 실험 결과, BScout은 높은 정밀도와 재현율을 보여 기존 방법론보다 우수한 성능을 입증했습니다.
2일 전0
arXivAI 번역논문
대화형 AI 메모리를 재현하고 감사하며 제어하는 인터랙티브 GraphRAG 워크스페이스
본 글은 LLM 개발 과정에서 발생하는 지식 파편화 문제를 해결하기 위해 인터랙티브 GraphRAG 워크스페이스인 CognitiveCanvas를 제안합니다. 이 도구는 대화를 목표, 사실, 코드 아티팩트로 추출하는 HSFG와 시간적 표류 감사기, 공간-상징적 프롬프트 컴파일러(SSPC)를 통합하여 지속 가능하고 감사 가능한 AI 메모리를 제공합니다.
2일 전0
arXivAI 번역논문
에이전트 스캐폴드에서 코드 추론 강제화를 통한 효과적인 이슈 해결 방안 연구
본 연구는 ReAct 기반 프로그래밍 에이전트가 코드를 추론하고 이슈를 해결하는 과정을 분석했습니다. 기존 에이전트의 한계점(표면적 증상 집중, 근접 패치 개선 실패 등)을 극복하기 위해, 저장소 수준에서 코드 추론을 체계적으로 안내하는 DeskCheck라는 새로운 스캐폴드를 제안합니다. DeskCheck는 시뮬레이션 및 감사 기능을 통해 해결률을 크게 향상시켰습니다.
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 번역논문
에이전트 의존성 변환: Flask의 탐색적 사례 연구에서 얻은 교훈
본 논문은 AI 코딩 에이전트가 외부 의존성 처리 방식을 변경하는 '의존성 변환(dependency transformation)'이라는 새로운 접근법을 제안합니다. Flask 사례 연구를 통해, 로컬 재구현 등 다양한 전략과 컨텍스트가 에이전트의 의존성 발견 및 변환에 미치는 영향을 탐구했습니다.
5일 전0
arXivAI 번역논문
하드웨어 설계에서 LLM 기반 기능 커버리지 마무리를 위한 독립적인 데이터 무결성 검증
본 글은 LLM 기반 기능 커버리지 테스트의 한계를 지적하며, 시뮬레이션 데이터의 정확성(데이터 무결성)을 독립적으로 검증하는 '커버리지-클로저 에이전트'를 제안합니다. 이 에이전트는 모델과 분리된 스코어보드를 사용하여 RTL 설계에서 커버리지를 100%까지 끌어올리는 데 성공했습니다.
5일 전0
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