Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
RL 논문에서 프레임워크 코드로: 7개 오픈 소스 학습 프레임워크에서의 포함 및 검토
본 연구는 7개의 오픈 소스 RL 트레이닝 프레임워크를 분석하여, 학술 논문에서 제안된 강화학습(RL) 방법론이 실제 프레임워크에 얼마나 자주 포함되는지 추적했습니다. 그 결과, 일반적인 RL 방법을 제안한 논문 중 약 3%만이 실제로 프레임워크에 구현되었으며, 특히 대규모 정책 매개변수나 손실 함수 수정과 관련된 방법들이 더 자주 채택됨을 발견했습니다.
17시간 전0
arXivAI 번역논문
AgenTest: 비즈니스 규칙을 마이닝하여 LLM 에이전트의 비즈니스 로직 버그를 테스트하기
본 논문은 LLM 에이전트가 준수해야 하는 도메인별 비즈니스 규칙 위반 버그를 탐지하는 새로운 방법론 AgenTest를 제안합니다. AgenTest는 시스템 프롬프트와 도구 정의에서 비즈니스 규칙을 마이닝하여 Given-When-Then 사양으로 정제하고, 이를 통해 에이전트의 잠재적 오류를 체계적으로 테스트합니다.
17시간 전0
arXivAI 번역논문
서문: Jacobian 렌즈를 사용한 LLM 테스트 실패의 사전 예측 및 특성화
본 논문은 LLM 테스트의 높은 비용 문제를 해결하기 위해 Foreword라는 새로운 프레임워크를 제안합니다. Foreword는 성공 및 실패한 참조 모두에서 학습하고, Jacobian 렌즈(J-lens) 기법을 사용하여 입력의 실패 위험도를 해석 가능하게 표현합니다. 이 방법은 기존 최고 수준의 테스트 도구보다 우수한 성능으로 실패 예측과 테스트 우선순위 지정 능력을 입증했습니다.
17시간 전0
arXivAI 번역논문
ExeBench-FHD: 디컴파일러 평가의 충실도 문제 해결
본 논문은 LLM 기반 디컴파일러 평가의 표준 벤치마크인 ExeBench가 가진 여러 한계점을 분석하고, 이를 개선한 ExeBench-FHD를 제시합니다. ExeBench-FHD는 콜 사이트 어셈블리, 데이터 섹션 등 16개의 새로운 필드를 추가하여 디컴파일러 평가의 충실도를 높였습니다.
17시간 전0
arXivAI 번역논문
Quantum Broker: 서비스 품질(QoS) 인지 양자 컴퓨팅 분배
본 논문은 다양한 QPU를 사용하는 파편화된 양자 클라우드 환경에서 서비스 품질(QoS) 인지 양자 실행 관리를 위한 오픈 소스 프레임워크인 Quantum Broker를 제안합니다. 이 프레임워크는 통계적 독립성을 활용하여 단일 회로를 여러 이질적인 QPU에 분배하며, 사용자 정의 목표에 따라 샷 단위 최적화를 구현합니다.
17시간 전0
arXivAI 번역논문
객체 지향 하네스: 객체 지향 설계를 통한 에이전트 하네스의 진화
본 논문은 객체 지향 설계를 활용하여 에이전트 하네스(Agent Harness)를 진화시키는 OO-Harness 프레임워크를 제안합니다. 이 프레임워크는 계층적 클래스 구조를 통해 다양한 작업을 처리할 수 있도록 최적화되었으며, 훈련 및 테스트 과정에서 전문화된 하네스를 생성하고 라우팅하는 과정을 거칩니다.
17시간 전0
arXivAI 번역논문
InterWebCoder: 강화학습을 통한 실행 가능한 테스트 기반의 인터랙티브 웹페이지 생성 학습
본 논문은 인터랙티브 웹페이지 코드 생성을 위한 효율적인 프레임워크인 InterWebCoder를 제안합니다. 이 프레임워크는 테스트 기반의 데이터 합성 파이프라인을 통해 기능적 정확성과 시각적 충실도를 동시에 최적화합니다. 이를 통해 기존 GUI-에이전트 검증 방식보다 빠르고 재현 가능한 방식으로 웹페이지 코드를 생성하고 개선할 수 있습니다.
17시간 전0
arXivAI 번역논문
보안 기술은 리눅스 커널 취약점 탐지 코딩 에이전트를 얼마나 효과적으로 안내하는가?
본 연구는 Claude Code와 네 가지 LLM 기반 코딩 에이전트를 사용하여 10개 클래스, 100개의 실제 리눅스 커널 취약점에 대한 대규모 실증 분석을 수행했습니다. 그 결과, 기존 기술의 취약점 탐지 성능은 제한적이었으며, 실패 패턴 분석을 통해 SKILL-SIF라는 자체 개선 프레임워크를 제안했습니다. 이 프레임워크는 미지의 취약점 탐지 정확도를 최대 8배 향상시키는 것으로 나타났습니다.
1일 전0
arXivAI 번역논문
내부 구조 분석: 건설 소프트웨어의 취약한 의존성(Dependency)에 대한 교차 생태계 연구
본 연구는 건설 소프트웨어에 사용된 904개의 GitHub 저장소를 분석하여 의존성 취약점 노출 현황을 조사했습니다. 그 결과, 상당수의 프로젝트가 취약점 평가를 완료하지 못했으며, 스캔된 저장소의 대다수에서 심각한(High/Critical) 취약점이 발견되었습니다. 또한, CWE 매핑을 통해 반복적인 리소스 소비 등 다양한 유형의 약점을 식별하고, 상위 패키지 의존성의 위험도가 높음을 강조했습니다.
1일 전0
arXivAI 번역논문
리더보드를 넘어서: 대규모 언어 모델의 애플리케이션별 역량 프로파일링 방법
본 논문은 LLM을 전반적으로 평가하는 리더보드의 한계를 지적하며, 특정 애플리케이션과 아키텍처에 최적화된 모델 선택 방법을 제시합니다. 각 애플리케이션을 독립적인 컨테이너 테스트베드로 구현하고, 고유한 데이터셋 및 평가자를 통해 모델의 역량을 정량적으로 프로파일링하는 방법론입니다.
1일 전0
arXivAI 번역논문
찾는 것에서 고치는 것으로: 에이전트 기반 프로그램 복구에 결함 위치 파악(FL)은 얼마나 유용한가?
본 연구는 LLM 에이전트 기반 프로그램 복구 과정에서 결함 위치 파악(FL)의 실질적인 유용성을 체계적으로 분석했습니다. 6가지 FL 방법을 SWE-bench 및 Defects4J 데이터셋에서 평가한 결과, 높은 위치 파악 정확도가 반드시 복구 성공률을 일관되게 개선하지는 않았습니다. 하지만 FL은 에이전트가 관련 코드에 더 빨리 도달하도록 안내하는 등 초기 검색 단계에서 유용함을 확인했습니다.
1일 전0
arXivAI 번역논문
C 프로그램의 경계 모델 검사를 위한 함수 계약 (Function Contracts)
본 문서는 경계 모델 검사(Bounded model checking)의 효율성을 높이기 위해 함수 계약(Function contracts) 프레임워크를 제시합니다. 기존 방식은 루프마다 솔버 비용을 지불하는 문제가 있었으나, 새로운 프레임워크는 관찰적 프레임 규칙을 통해 전역 변수 개수에 기반한 검증 조건을 생성하여 성능과 건전성을 개선했습니다.
1일 전0
arXivAI 번역논문
코드 생성을 위한 정책 및 보상 공동 진화: 단일 어댑터 드리프트에 대한 기계적 연구
본 논문은 코드 생성에 대한 정책 및 보상 공동 진화 접근 방식(SPARK)을 연구했습니다. Qwen2.5-Coder-3B-Instruct를 사용하여 롤아웃 재활용과 실행 기반 최적화를 비교한 결과, 공동 진화가 훈련 성능 향상을 가져오지만, 이 이득이 일반화되지 않음을 보여주었습니다. 특히 '단일 어댑터 정책 드리프트' 현상이 관찰되었습니다.
1일 전0
arXivAI 번역논문
VerusEval: 검증기 수용을 넘어선 LLM 생성 Verus 사양 평가
본 논문은 LLM이 Rust 기반 Verus 계약과 증명문을 생성하는 과정에서, 단순한 검증기 수용 여부만으로는 계약의 실제 의도 포착 여부를 판단하기 어렵다는 문제를 제기합니다. 이를 해결하기 위해 의미적 자명성, I/O 스위트, 계약 동등성 등 6가지 차원을 평가하는 VerusEval 프레임워크를 제시했습니다.
1일 전0
arXivAI 번역논문
코딩 에이전트가 검토 속도를 앞지를 때: 성숙한 엔터프라이즈 저장소에서의 PRD 기반 개발 평가
본 글은 엔터프라이즈 환경의 복잡한 요구사항(PRD)을 충족하는 코딩 에이전트의 능력을 평가하기 위해 PACE 벤치마크를 소개합니다. 이 벤치마크는 요구사항 재구성, 기준 구축, 증거 기반 평가를 결합하여 실제 배포 과정에서의 부족한 부분을 측정합니다. 테스트 결과, GPT-5.6-Sol 모델이 가장 높은 완전 배포율을 보였으며, 개별 구성 요소 생성만으로는 전체 배포가 불완전할 수 있음을 시사합니다.
1일 전0
arXivAI 번역논문
SPLASH: 생성된 코드의 보안 환각을 탐지하고 위치를 지정하기 위한 대조적 감사 압력
SPLASH는 대규모 언어 모델(LLM)이 생성했으나 안전하지 않은 코드의 보안 환각을 탐지하고 취약한 위치를 지정하는 새로운 방법을 제시합니다. 이 방법은 '감사 압력'이라는 측정 지표를 사용하여, 프로그램과 문장 단위로 교차 편집 확률을 비교 분석합니다. SPLASH는 별도의 훈련이나 내부 접근 없이도 높은 정확도로 안전한 코드를 선택하고 취약점을 식별할 수 있음을 입증했습니다.
1일 전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