Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 829건필터 해제
arXiv논문
EvoRepair: 경험 기반 자기 진화를 통한 취약점 수정 에이전트 강화
EvoRepair는 LLM의 취약점 수정 능력을 강화하기 위해 경험 기반의 자기 진화형 프레임워크를 제안합니다. 과거의 수정 궤적에서 지식을 추출하고 저장소를 업데이트하는 순환적 학습 프로세스를 통해 유사한 실수를 방지하고 성능을 극대화합니다.
5월 29일0
arXiv논문
최소한의 프롬프트 섭동이 코드 취약성을 유발한다: 코딩 LLM의 프롬프트 취약성 및 은닉 상태(Hidden-State) 신호
미세한 프롬프트 변이가 코딩 LLM이 생성하는 코드의 보안성을 심각하게 저해할 수 있음을 입증한 연구입니다. 토큰 수준의 작은 변화만으로도 보안 취약점이 발생할 수 있으며, 이는 은닉 상태(Hidden-State)에 부분적으로 인코딩되어 있음을 확인했습니다.
5월 29일0
arXiv논문
벤치마크만으로는 부족하다: 프로덕션 시스템 내 에이전트 모델의 런타임 평가를 위한 RAMP
기존의 정적 벤치마크가 가진 한계를 극복하기 위해, 실제 프로덕션 환경의 동적 복잡성을 반영하는 에이전트 평가 인프라 RAMP를 제안합니다. RAMP는 장기적인 소프트웨어 엔지니어링 워크플로우와 도구 상호작용을 평가하며, 모델의 실질적인 런타임 능력을 측정합니다.
5월 28일0
arXiv논문
에이전트 유도 트리 탐색을 통한 형식 검증의 자동화
본 논문은 Lean 환경에서 LLM을 활용한 형식 검증(vericoding)의 성능을 평가하고, 에이전트 유도 트리 탐색(agent-directed tree-search) 방법론을 제안합니다. 연구 결과, 에이전트 루프와 탐색 구조를 통해 검증 성능이 크게 향상되었으며, 특정 모델은 벤치마크를 거의 포화 상태로 만들었습니다.
5월 28일0
arXiv논문
Laguna M.1/XS.2 기술 보고서
에이전트 기반 코딩을 위해 설계된 두 가지 MoE 파운데이션 모델인 Laguna M.1과 XS.2를 소개합니다. Model Factory 시스템을 통해 엔드 투 엔드로 학습되었으며, 소프트웨어 엔지니어링 벤치마크에서 뛰어난 성능을 입증했습니다.
5월 28일0
arXiv논문
OptiLoop: LLM 생성 최적화 에이전트를 위한 협력 루프 기반 검증 및 수정
LLM이 생성한 최적화 에이전트의 의미론적 오류를 해결하기 위해 협력 루프 기반의 검증 및 수정 프레임워크인 OptiLoop을 제안합니다. ADMM 스타일의 합의 프로토콜을 활용하여 에이전트의 행동을 검증하고, 증거 기반 수정을 통해 목표 및 사회적 일치도를 크게 향상시킵니다.
5월 28일0
arXiv논문
LLM 기반 웹 접근성 수정: 탐지, 복구 및 비용에 관한 실증적 연구
LLM 기반 에이전트인 Kimi K2.5를 활용하여 웹 접근성 탐지 및 복구 성능을 실증적으로 분석한 연구입니다. LLM은 의미론적 이해도는 높으나 구문 및 레이아웃 오류에는 취약하며, 반복적인 정교화 과정이 비용 대비 효율이 낮음을 확인했습니다.
5월 28일0
arXiv논문
AndroidDaily: 실제 환경의 폐쇄형 애플리케이션 기반 모바일 GUI 에이전트를 위한 검증 가능한 벤치마크
폐쇄형 애플리케이션 환경에서 모바일 GUI 에이전트를 평가하기 위한 새로운 벤치마크 AndroidDaily를 소개합니다. 내부 상태를 알 수 없는 환경을 극복하기 위해 시각적 궤적을 기반으로 검증하는 GRADE 평가 시스템을 제안합니다.
5월 28일0
arXiv논문
Tool Forge: 통제된 에이전트 실행을 위한 검증 기능 포함 툴체인
LLM 에이전트의 안전하고 효율적인 도구 사용을 위한 툴체인인 Tool Forge를 제안합니다. 자연어 의도를 검증된 툴 산출물로 변환하고, 토큰 효율적인 라우팅을 통해 에이전트에 필요한 도구만 선별적으로 노출하는 시스템을 구축했습니다.
5월 28일0
arXiv논문
노이즈가 있는 레이블 환경의 SZZ에서 결함 유발 커밋을 탐지하기 위한 Confident Learning 기반 네트워크
데이터 노이즈와 의미론적 연결 부족 문제를 해결하기 위해 BIC-Hunter 모델을 제안합니다. Confident Learning 기반의 노이즈 제거와 GCN을 활용한 의미론적 관계 포착을 통해 결함 유발 커밋 탐지 성능을 혁신적으로 개선했습니다.
5월 28일0
arXiv논문
pass@k를 넘어: 다중 샘플 코드 생성(Multi-Sample Code Generation)을 위한 중복성 인식 RLVR
코드 생성 모델의 평가 지표인 Pass@k와 강화학습(RLVR) 과정에서 발생하는 코드 중복성 문제를 연구합니다. 정확도만 추구하는 RLVR은 생성물의 중복성을 높이는 경향이 있으나, JPlag 유사도를 활용한 반중복성 보상을 통해 성능과 다양성을 동시에 개선할 수 있음을 입증했습니다.
5월 28일0
arXiv논문
DeltaMCP: MCP 서버를 위한 명세 인식 변환 기반의 점진적 재생성
DeltaMCP는 OpenAPI 명세의 변경 사항을 감지하여 MCP 서버의 영향을 받는 툴링만 점진적으로 업데이트하는 기술을 제안합니다. 기존의 전체 재생성 방식과 달리 유지보수성을 높이고 개발자 오버헤드를 줄이는 데 집중합니다.
5월 28일0
arXiv논문
지속적인 게임 생성을 위한 GUI 에이전트 (GUI Agents for Continual Game Generation)
기존의 일회성 게임 생성 방식의 한계를 극복하기 위해 GUI 에이전트를 활용한 지속적인 게임 생성 프레임워크를 제안합니다. PlaytestArena 평가 환경과 Play2Code 루프를 통해 코딩과 플레이 사이의 상호작용을 구현하여 게임 생성의 성공률을 크게 높였습니다.
5월 28일0
arXiv논문
논문에서 벤치마크로: 기계 건강 지능(Machine Health Intelligence) 분야의 불충분하게 명시된 방법론에 대한 에이전트 기반
산업적 예후 및 건강 관리(PHM) 분야의 논문을 실행 가능한 벤치마크로 변환하기 위한 에이전트 기반 프레임워크를 제안합니다. 슬롯 바인딩 인터페이스를 통해 논문의 불분명한 방법론을 구조화된 구성 요소로 매핑하여 재현성을 높입니다.
5월 28일0
arXiv논문
REST API를 위한 멀티 에이전트 기반 LLM 변형 테스트 (Multi-Agent LLM-based Metamorphic Testing)
REST API의 테스트 오라클 문제를 해결하기 위해 LLM 기반 멀티 에이전트 워크플로우를 활용하는 ARMeta를 제안합니다. OpenAPI 문서를 바탕으로 변형 테스트 시나리오를 식별하고 실행 가능한 테스트로 자동 구현하여 시스템의 정확성을 검증합니다.
5월 28일0
arXiv논문
LLM 생성 코드 스니펫을 위한 효율적이고 확장 가능한 출처 추적 (Efficient and Scalable Provenance
LLM이 생성한 코드의 표절 및 라이선스 문제를 해결하기 위해, 벡터 검색과 핑거프린팅을 결합한 하이브리드 출처 추적 파이프라인인 HST를 제안합니다. HST는 대규모 코드 코퍼스에서도 로그 시간 복잡도를 유지하며 높은 정밀도로 코드의 출처를 식별합니다.
5월 28일0
arXiv논문
구조적 인과 모델 (SCM)을 통한 소프트웨어 실증 연구의 재고
본 논문은 소프트웨어 공학 연구에서 인과 관계를 엄격하게 식별하기 위한 프레임워크인 CausalSE를 제안합니다. 구조적 인과 모델(SCM)을 활용하여 기존 통계적 연관 분석이 가진 교란 편향 문제를 해결하고, LLM 코드 생성 실험에서의 정확한 효과 분석 방법을 제시합니다.
5월 28일0
arXiv논문
LLM은 자신의 제공자를 선호하는가? 코드 생성에서의 수직적 통합 편향 (Vertical Integration Bias) 측정
LLM이 코드 생성 시 특정 제공자의 생태계를 선호하는 '수직적 통합 편향(VIB)'을 정의하고 이를 측정하는 벤치마크인 VIBench를 제안합니다. 연구 결과, 직접 생성보다 에이전트 워크플로우에서 이러한 편향이 훨씬 더 크게 증폭됨을 확인했습니다.
5월 28일0
arXiv논문
다중 언어 계약 추적성(Multi-Language Contract Traceability)을 위한 최소 실행 가능한 증명
본 논문은 DAG-TOML 계약을 활용하여 다중 언어 환경에서 실행 가능한 증명을 생성하는 최소한의 메커니즘을 제안합니다. Rust, Go 등 6개 언어의 구현체를 통해 계약, 구현 그래프, 추적성 체인이 실행 가능한 증인에 의해 어떻게 검증될 수 있는지 보여줍니다.
5월 28일0
arXiv논문
도구 스키마 압축을 통한 제한된 컨텍스트 예산 하에서의 에이전트형 RAG 구현
에이전트형 RAG 시스템에서 다수의 도구 스키마가 컨텍스트 창을 과도하게 점유하는 문제를 해결하기 위한 도구 스키마 압축 연구를 소개합니다. TSCG 압축 기술을 통해 토큰을 44-50% 절감함으로써, 제한된 컨텍스트 환경에서도 모델의 RAG 성능을 효과적으로 복구할 수 있음을 입증했습니다.
5월 27일0