Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
DiagEval: GUI 에이전트를 활용한 신뢰할 수 있는 소프트웨어 평가를 위한 궤적 조건부 진단
DiagEval은 GUI 에이전트가 소프트웨어를 조작할 때 발생하는 실패가 소프트웨어의 결함인지 아니면 평가기의 실행 오류인지를 구분하기 위한 궤적 조건부 진단 프로토콜입니다. 실패한 실행 궤적을 재사용하여 타겟팅된 진단 프로브를 선택함으로써, 단순 재시도 방식보다 높은 정확도로 실패 원인을 분석하고 평가 성능을 개선합니다.
5월 19일0
arXivAI 번역논문
ContraFix: 차분 런타임 증거(Differential Runtime Evidence)와 기술 재사용을 통한 에이전트 기반 취약점 수정
ContraFix는 LLM 에이전트가 취약점 수정 시 겪는 의미론적 오해 문제를 해결하기 위해 차분 런타임 증거와 기술 재사용을 결합한 새로운 AVR 프레임워크입니다. 이 시스템은 실패와 성공 실행 간의 상태 차이를 분석하여 인과적 수정 명세를 생성하며, 학습된 수정 기술을 저장하여 유사한 취약점에 재사용할 수 있도록 설계되었습니다. 실험 결과, GPT-4o-mini(본문 내 GPT-5-mini 오기 추정 포함)를 활용하여 기존 방식 대비 훨씬 적은 비용으로 최첨단 성능을 달성했습니다.
5월 19일0
arXivAI 번역논문
MemRepair: 에이전트 기반 저장소 수준 취약점 수정을 위한 계층적 메모리
MemRepair는 저장소 규모의 소프트웨어 취약점을 자동으로 수정하기 위해 계층적 메모리 구조를 도입한 에이전트 기반 프레임워크입니다. History-Fix, Security-Pattern, Refinement-Trajectory라는 세 가지 메모리 계층을 통해 이전의 수정 경험과 보안 패턴을 학습하고 재사용함으로써 복잡한 다중 파일 수정 작업을 수행합니다. 실험 결과, SEC-Bench와 PatchEval 등 주요 벤치마크에서 기존의 범용 에이전트 및 특화 도구보다 높은 해결률을 기록하며 성능을 입증했습니다.
5월 19일0
arXivAI 번역논문
SaaSBench: 장기적 관점의 엔터프라이즈 SaaS 엔지니어링에서 코딩 에이전트(Coding Agents)의 한계 탐색
SaaSBench는 기존 벤치마크가 포착하지 못하는 실제 엔터프라이즈 SaaS 환경의 복잡성을 평가하기 위해 설계된 최초의 벤치마크입니다. 6개 도메인과 다양한 기술 스택을 포함하며, AI 에이전트가 단순 코드 생성을 넘어 다중 구성 요소 시스템을 통합하는 과정에서 겪는 한계를 분석합니다.
5월 19일0
arXivAI 번역논문
Event-B Agent: 형식 모델 합성 및 수정을 위한 LLM 에이전트를 향하여
Event-B Agent는 자연어 요구사항을 바탕으로 형식 모델을 구축하고, 형식 검증 피드백을 통해 이를 반복적으로 수정 및 정제하는 새로운 프레임워크입니다. 기존 LLM 기반 접근 방식이 개별 작업에 국한되었던 것과 달리, 모델과 증명을 상호 보완적으로 진화시켜 소프트웨어 설계의 신뢰성을 높입니다. 실험 결과, 다양한 시스템 환경에서 기존 베이스라인 모델보다 뛰어난 엔드 투 엔드 형식 모델 합성 및 수정 성능을 입증했습니다.
5월 19일0
arXivAI 번역논문
AgentModernize: Multi-Agent LLM과 행동 명세 그래프 (BSG)를 활용한 레거시 현대화 과정에서의 비즈니스 로직 보존
AgentModernize는 레거시 현대화 과정에서 비즈니스 로직을 보존하기 위해 설계된 멀티 에이전트 프레임워크입니다. 행동 명세 그래프(BSG)를 중간 산출물로 활용하여 추출, 명세, 생성, 검증의 4단계 과정을 거치며, 단순 구문 변환을 넘어 암시적 규칙과 제약 조건을 명시적으로 관리합니다.
5월 19일1
arXivAI 번역논문
AI 시대의 코드 리뷰 재고: 에이전트 기반 코드 리뷰를 위한 비전
AI 코딩 어시스턴트의 발전으로 코드 생산량은 늘어났으나, 이로 인해 코드 리뷰가 병목 현상으로 작용하는 문제가 발생하고 있습니다. 본 논문은 LLM과 에이전트 기반 AI를 활용하여 PR 생성부터 회고까지 이어지는 5단계의 엔드 투 엔드 코드 리뷰 워크플로우 비전을 제시합니다. 특히 인간의 판단력을 유지하면서 AI 에이전트와 협업하는 책임 있는 자동화 프레임워크를 제안합니다.
5월 19일1
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 번역논문
투명성과 추적성을 통한 AI 지원 과학 소프트웨어 개발의 격차 해소
과학 소프트웨어 개발 분야에서 LLM을 활용한 AI 지원 개발이 확산되고 있으나, 공식적인 가이드라인 부재로 인해 품질 보증 및 추적성 문제가 제기되고 있습니다. 본 논문은 NQA-1과 같은 엄격한 품질 표준을 준수하기 위해, 핵융합 에너지용 코드인 TMAP8을 사례로 AI 지원 검증 및 확인(V&V)을 위한 구조화된 프레임워크와 가이드라인을 제안합니다.
5월 19일0
arXivAI 번역논문
자연어 요구사항에 대한 LLM 기반 코드 정적 검증: 산업 현장 경험 보고서
본 보고서는 자연어 요구사항과 구현된 코드 간의 불일치를 탐지하기 위한 2단계 LLM 기반 정적 검증 워크플로를 제안합니다. AI 기반 규칙 마이너가 요구사항에서 검증 가능한 규칙을 추출하고, 코드 감사기가 이를 바탕으로 구현을 확인하는 구조를 통해 환각 현상과 컨텍스트 손실을 최소화합니다. 이 방식은 컴파일이나 실행 없이도 요구사항 인식 기반의 정적 분석을 가능하게 하여 개발 라이프사이클의 검증 활동을 조기에 수행(Shift-left)할 수 있도록 돕습니다.
5월 19일1
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 번역논문
LogRouter: 빅데이터 시스템의 로그 질의응답을 위한 적응형 2단계 LLM 라우팅
LogRouter는 자원이 제한된 환경에서 운영 로그 분석을 효율적으로 수행하기 위해 설계된 2단계 적응형 LLM 라우팅 시스템입니다. PySpark, Apache Druid, pgvector 등을 결합하여 쿼리를 직접 응답, 키워드 검색, SQL 생성, 의미론적 검색의 네 가지 경로로 최적화하여 전달합니다. 이를 통해 고성능 모델을 상시 사용하는 것보다 지연 시간을 55% 단축하면서도 높은 정확도를 유지하는 비용 효율적인 로그 질의응답을 구현했습니다.
5월 19일1
arXivAI 번역논문
PROTEA: 멀티 에이전트 LLM 워크플로우를 위한 오프라인 평가 및 반복적 개선
PROTEA는 멀티 에이전트 LLM 워크플로우의 디버깅과 개선을 돕는 통합 인터페이스입니다. 중간 노드의 오류를 국소화하기 위해 역방향 노드 평가 방식을 사용하며, 프롬프트 수정안 제시와 자동 재평가 기능을 통해 워크플로우 성능을 효율적으로 향상시킵니다.
5월 19일1
arXivAI 번역논문
A-ProS: 멀티 모델 피드백을 통한 신뢰할 수 있는 자율 프로그래밍을 향하여
A-ProS는 솔루션 생성과 디버깅을 분리하여 알고리즘 문제를 해결하는 하이브리드 멀티 모델 피드백 프레임워크입니다. GPT-4/GPT-5 생성기와 Codestral, Llama-3.3, DeepSeek-R1 비평가를 결합하여 실행 피드백을 통해 코드를 반복적으로 개선합니다. 실험 결과, 상태 유지(stateful) 방식과 멀티 모델 피드백을 통해 기존 베이스라인 대비 2배 이상의 성능 향상을 달성했습니다.
5월 19일0