Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
Event-B Agent: 형식 모델 합성 및 수정을 위한 LLM 에이전트를 향하여
Event-B Agent는 자연어 요구사항을 바탕으로 형식 모델을 구축하고, 형식 검증 피드백을 통해 이를 반복적으로 수정 및 정제하는 새로운 프레임워크입니다. 기존 LLM 기반 접근 방식이 개별 작업에 국한되었던 것과 달리, 모델과 증명을 상호 보완적으로 진화시켜 소프트웨어 설계의 신뢰성을 높입니다. 실험 결과, 다양한 시스템 환경에서 기존 베이스라인 모델보다 뛰어난 엔드 투 엔드 형식 모델 합성 및 수정 성능을 입증했습니다.
5월 19일0
arXivAI 번역논문
Firefly: 실제 API로부터 대규모 검증된 도구 호출 (Tool-Call) 데이터 생성 방법론
Firefly는 실제 MCP 서버를 활용하여 검증 가능한 도구 호출(Tool-calling) 데이터를 생성하는 역방향 합성 파이프라인을 제안합니다. 태스크를 먼저 생성하는 대신 실제 API를 먼저 탐색한 후 태스크를 역으로 합성함으로써 데이터의 정확성을 보장하며, 환경 드리프트 문제를 해결하기 위해 검색 증강 시뮬레이터를 구축했습니다. 이 방법론으로 학습된 4B 모델은 Claude Sonnet 4.6과 대등한 성능을 기록하며 도구 호출 벤치마크에서 우수한 성능을 입증했습니다.
5월 19일0
arXivAI 번역논문
무효한 버그 리포트에 대한 자동 근본 원인 하위 분류 및 노코드(No-Code) 수정안 생성
무효한 버그 리포트의 근본 원인을 자동으로 분류하고 노코드(No-Code) 수정안을 생성하는 연구를 다룹니다. Vanilla LLM, RAG, 에이전트 기반 웹 검색을 비교 실험한 결과, 하위 분류에는 RAG가, 노코드 수정안 생성에는 에이전트 기반 웹 검색이 가장 우수한 성능을 보였습니다.
5월 19일0
arXivAI 번역논문
소프트웨어 결함 예측을 위한 특징 기반 프레임워크
본 연구는 소프트웨어 결함 예측(SFP)의 성능을 높이기 위해 특징 선택(Feature selection)과 하이퍼파라미터 튜닝을 결합한 프레임워크를 제안합니다. 다양한 머신러닝 알고리즘과 최적화 기법을 비교 분석한 결과, CFS와 유전 알고리즘(GA)을 결합하여 Random Forest 모델을 적용했을 때 가장 높은 정확도인 88.40%를 달성했습니다. 이를 통해 베이스라인 대비 18%의 성능 향상과 모델의 견고성을 입증하였습니다.
5월 19일0
arXivAI 번역논문
메타 단계 디코딩(Meta-Step Decoding)을 통한 검증기 유도 코드 번역
DTV(Decoding Time Verification)는 코드 번역 시 생성 과정 중에 검증기를 교차 호출하여 유효한 접두사를 강제하는 새로운 프레임워크입니다. 기존의 사후 검증 방식과 달리 구조적 경계 검사와 롤백 메커니즘을 통해 오류 전파를 방지하고 토큰 효율성을 높입니다. 실험 결과, C-to-Rust 및 JavaScript-to-TypeScript 번역 작업에서 기존 방식보다 높은 통과율과 우수한 비용 대비 성능을 보여주었습니다.
5월 19일0
arXivAI 번역논문
EGI: Scrum Master의 실시간 자기 인식 강화를 위한 멀티모달 감성 AI 프레임워크
본 논문은 Scrum Master와 회의 주최자의 정서적 자기 인식을 강화하기 위한 멀티모달 감성 AI 프레임워크인 EGI를 제안합니다. 음성 전사, 억양 분석, 어휘 매칭 및 문맥 인식 제안 기술을 통합하여 실시간으로 감정 상태를 모니터링하고 긍정적인 팀 상호작용을 유도합니다.
5월 19일0
arXivAI 번역논문
코드 생성을 위한 문맥화된 코드 사전 학습 (Contextualized Code Pretraining)
기존 코드 생성 모델들이 자연어 설명에 의존하는 한계를 극복하기 위해, 실제 코드의 호출 문맥(Local call-site context)을 활용하는 '문맥화된 코드 사전 학습' 방식을 제안합니다. 정적 분석을 통해 추출한 호출자-피호출자 쌍을 학습에 활용하는 CallerGen 모델과 새로운 벤치마크인 CallerEval을 통해 호출 문맥의 중요성을 입증했습니다.
5월 19일0
arXivAI 번역논문
BLAgent: 파일 수준 버그 위치 파악을 위한 에이전트 기반 RAG
BLAgent는 파일 수준의 버그 위치 파악을 위해 에이전트 기반 RAG 프레임워크를 제안합니다. AST 기반 청킹, 이중 관점 쿼리 변환, 2단계 에이전트 재순위화 기술을 통해 코드 구조와 행동 신호를 모두 포착하며, 기존 방식보다 높은 정확도와 비용 효율성을 제공합니다. SWE-bench Lite 테스트 결과, 폐쇄형 모델 기준 86% 이상의 정확도를 기록하며 자동 프로그램 수정(APR) 성능을 크게 향상시켰습니다.
5월 19일0
arXivAI 번역논문
관리되는 멀티 에이전트 런타임에서의 승인 제어로서의 검증 게이트 기반 완성 (Verify-Gated Completion): 경계 아키텍처 사례
멀티 에이전트 시스템의 신뢰성을 높이기 위해 읽기 전용 검증기가 에이전트의 제안을 승인하거나 차단하는 '검증 게이트 기반 완성(Verify-Gated Completion)' 패턴을 제안합니다. 연구 결과, 검증 성공률 99.5%와 규칙 일치율 98.58%를 기록하며 결정 과정의 조사 가능성과 실패 시 차단(Fail-closed) 메커니즘의 유효성을 입증했습니다.
5월 19일0
arXivAI 번역논문
A-ProS: 멀티 모델 피드백을 통한 신뢰할 수 있는 자율 프로그래밍을 향하여
A-ProS는 솔루션 생성과 디버깅을 분리하여 알고리즘 문제를 해결하는 하이브리드 멀티 모델 피드백 프레임워크입니다. GPT-4/GPT-5 생성기와 Codestral, Llama-3.3, DeepSeek-R1 비평가를 결합하여 실행 피드백을 통해 코드를 반복적으로 개선합니다. 실험 결과, 상태 유지(stateful) 방식과 멀티 모델 피드백을 통해 기존 베이스라인 대비 2배 이상의 성능 향상을 달성했습니다.
5월 19일0
arXivAI 번역논문
세 개의 머리가 하나보다 낫다: 취약점 탐지 성능 향상을 위한 다각적 추론 프레임워크
ReasonVul은 단일 추론 방식의 한계를 극복하기 위해 세 개의 특화된 LLM 에이전트가 협력하는 다각적 추론 프레임워크를 제안합니다. 이 시스템은 독립적 분석, 토론 메커니즘, 협력적 판단 과정을 통해 코드 내 취약점을 탐지하며, PrimeVul 및 JITVUL 데이터셋에서 기존 베이스라인을 크게 상회하는 성능을 입증했습니다.
5월 19일0