Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
RepoMirage: 섭동(Perturbations)을 통한 코드 에이전트의 저장소 컨텍스트 추론 능력 조사
코드 에이전트의 저장소 컨텍스트 추론 능력을 평가하기 위한 새로운 벤치마크인 RepoMirage를 소개합니다. 섭동(perturbation) 기법을 통해 에이전트가 구조적 정보를 활용하는 데 한계가 있음을 밝히고, 이를 개선하기 위한 구조 우선 워크플로우인 RepoAnchor를 제안합니다.
5월 27일0
arXivAI 번역논문
SetupX: LLM 에이전트가 기능적으로 올바른 코드 저장소 설정 과정에서의 과거 실패로부터 학습할 수 있는가?
LLM 에이전트가 코드 저장소 설정 과정의 실패를 학습하여 환경을 구성하는 SetupX 프레임워크를 제안합니다. XPU를 통한 경험 전이, Docker 스냅샷 기반의 투기적 실행, 그리고 검사관-판사 검증 프로토콜을 통해 복잡한 설정 문제를 해결합니다.
5월 27일0
arXivAI 번역논문
FuzzPilot: 구조화된 텍스트 퍼징 (Structured Text Fuzzing)을 위한 정체기 트리거 기반 레시피 검증
FuzzPilot은 AFL++의 커버리지 정체기 시점에 변이 레시피를 검증하는 컨트롤러 연구입니다. 추론 과정을 핫패스에서 분리하여 효율성을 높이고, 언어 모델이나 로컬 규칙을 통해 JSON 기반의 변이 레시피를 생성 및 평가합니다.
5월 27일0
arXivAI 번역논문
Verus-SpecGym: 명세 자동 형식화 (Specification Autoformalization) 평가를 위한 에이전트 기반 환경
LLM 에이전트가 비형식적 문제를 형식 명세로 번역하는 '명세 자동 형식화' 능력을 평가하기 위한 Verus-SpecGym 환경과 Verus-SpecBench 벤치마크를 제안합니다. Rust 검증기 Verus를 활용하여 생성된 명세의 정확성을 실행 가능한 코드로 검증하는 새로운 평가 체계를 구축했습니다.
5월 27일0
arXivAI 번역논문
자동 연구 시스템(Auto-Research Systems)에서 워크플로우 종결은 과학적 종결이 아니다
자동 연구 시스템(Auto-Research Systems)의 워크플로우 종결이 실제 과학적 종결을 의미하지 않는다는 점을 지적합니다. 시스템의 자율성보다는 비자율적 인식론적 통제 하에서의 실행을 강조하며, 현재 시스템들이 겪는 세 가지 주요 붕괴 현상을 진단합니다.
5월 27일0
arXivAI 번역논문
TrajAudit: 에이전트 기반 코딩 시스템을 위한 자동화된 실패 진단
에이전트 기반 코딩 시스템의 실패 원인을 자동으로 진단하는 프레임워크인 TrajAudit를 제안합니다. 긴 실행 궤적의 노이즈를 필터링하고 테스트 보고서를 활용하여 진단 정확도를 높였으며, 새로운 벤치마크인 RootSE를 통해 성능을 입증했습니다.
5월 27일0
arXivAI 번역논문
소프트웨어 스택 업그레이드에서의 에너지 인지적 의사결정
소프트웨어 스택 업그레이드가 에너지 소비에 미치는 영향을 분석하는 체계적인 방법론을 제시합니다. Spring Boot와 JVM 버전 변화에 따른 에너지 효율성을 벤치마킹하여, 최신 JVM의 가상 스레드가 에너지 절감에 기여함을 입증했습니다.
5월 27일0
arXivAI 번역논문
증거의 부재는 증거의 불충분함이 아니다: 사실 검증(Fact Verification)에서의 NEI 구축 아티팩트 진단
사실 검증(Fact Verification) 벤치마크에서 '증거의 부재'와 '증거의 불충분함'을 구분하기 위한 NEI-CAP 진단 프로토콜을 제안합니다. 연구 결과, NEI 레이블 구축 방식에 따라 모델의 성능과 학습 양상이 크게 달라짐을 확인했습니다.
5월 27일0
arXivAI 번역논문
소프트웨어 공학 (SE) 팟캐스트: 연구 자원으로서의 잠재력에 관한 실증적 연구
본 연구는 소프트웨어 공학(SE) 분야에서 지식 공유 매체로 부상한 팟캐스트의 잠재력을 탐색합니다. 팟캐스트의 내용을 체계적으로 분석하고 연구자들의 인식을 조사하여, 이것이 실증적 소프트웨어 공학 연구에 기여할 수 있는 가치를 평가합니다.
5월 27일0
arXivAI 번역논문
Java를 위한 LLM 기반의 Mockless 단위 테스트 생성
Java 단위 테스트 생성 시 발생하는 LLM의 환각 문제를 해결하기 위해 MocklessTester를 제안합니다. 문맥 강화 생성과 제약 조건 강제 수정 전략을 통해 모킹 프레임워크 없이도 실제 의존성을 실행하는 고품질 테스트 생성이 가능함을 입증했습니다.
5월 27일0
arXivAI 번역논문
HTMLCure: 브라우저 경험을 상호작용형 HTML을 위한 상태 유도형 수리(State Guided Repair)로 전환하기
HTMLCure는 상호작용형 HTML 페이지의 오류를 진단하고 수리하는 새로운 브라우저 경험 프레임워크입니다. VLM과 실행 궤적을 활용해 상태 기반 수리를 수행하며, 고품질 SFT 데이터셋 구축을 통해 강력한 성능의 모델을 생성합니다.
5월 27일0
arXivAI 번역논문
GitHub Actions 언어에 대하여: 사용법, 진화 및 워크플로 신뢰성
GitHub Actions의 언어 구조 채택과 진화가 워크플로의 신뢰성 및 유지보수성에 미치는 영향을 실증적으로 분석한 연구입니다. 49,000개 저장소의 데이터를 통해 복잡한 워크플로가 높은 실패율을 보인다는 점과 리스크를 유발하는 특정 기능을 식별했습니다.
5월 27일0
arXivAI 번역논문
데이터 민감 도메인을 위한 LLM 출력의 신경-기호적 검증 (Neuro-Symbolic Verification) (확장된 프리프린트)
데이터 민감 도메인에서 LLM의 환각과 보안 문제를 해결하기 위해 신경망과 기호적 방법론을 결합한 하이브리드 검증 아키텍처를 제안합니다. 논리적 추론과 임베딩 기반 유사성 분석을 병렬로 수행하여 기존 프롬프트 기반 검증의 한계를 극복합니다.
5월 27일0
arXivAI 번역논문
LLM이 소프트웨어 디자인 패턴을 사용하도록 유도하는 전략: Singleton 사례 연구
LLM이 소프트웨어 디자인 패턴, 특히 Singleton 패턴을 일관되게 생성하도록 유도하는 프롬프팅 전략을 연구했습니다. 실험 결과, 모델 유형에 따라 최적의 전략은 다르지만 반복적인 이진 피드백이 기능성과 패턴 정렬 측면에서 가장 효과적이었습니다.
5월 27일0
arXivAI 번역논문
ConVer: 확장 가능한 형식 소프트웨어 검증을 위한 계약 및 루프 불변량 합성 활용
ConVer는 LLM을 활용하여 대규모 C 프로그램의 형식 검증을 수행하는 하향식 구성적 검증 도구입니다. LLM으로 함수 계약을 합성하고 CEGAR-CEGIS 루프를 통해 계약을 정교화함으로써 상태 공간 폭발 문제를 해결합니다.
5월 27일0
arXivAI 번역논문
ProDebug: Prolog을 위한 자동 디버깅 시스템
Prolog 학습자를 위한 자동 디버깅 시스템인 ProDebug을 소개합니다. LLM과 스펙트럼 및 변이 기반 기술을 결합하여 학생들의 코드 결함을 식별하고 수정 사항을 제안합니다.
5월 27일0
arXivAI 번역논문
EviACT: 에이전트 기반 프로그램 수정을 위한 증거 기반 실행 프레임워크
EviACT는 실행 증거를 활용하여 프로그램 수정을 자동화하는 에이전트 기반 프레임워크입니다. 검색, 컴파일, 테스트 기반의 세 가지 가드레일을 통해 수정의 정확도를 높이고 API 비용을 획기적으로 절감합니다.
5월 27일0
arXivAI 번역논문
실행 가능한 운영 인지(Executable Operational Cognition)를 통한 에이전트 런타임의 통제된 진화
에이전트가 생성한 코드를 일회성 결과물이 아닌 지속적인 운영 기질로 다루는 새로운 프레임워크를 제안합니다. HarnessMutation을 통해 멀티 에이전트 시스템 내에서 검증과 추적 가능성을 보장하며 통제된 런타임 진화를 구현하는 방법을 다룹니다.
5월 27일0
arXivAI 번역논문
EdgeFlow: 산업 요구사항 공학을 위한 Edge-Map 증강 VLM 기반 순서도 처리 기술
EdgeFlow는 VLM이 순서도의 위상 구조를 놓치는 문제를 해결하기 위해 Canny edge map을 입력에 증강하는 기술을 제안합니다. 별도의 미세 조정 없이도 순서도를 Mermaid 형식으로 변환하는 성능을 크게 향상시켰습니다.
5월 27일0
arXivAI 번역논문
더 많은 기술이 더 나쁜 에이전트를 만드는가? 기술 라이브러리 확장 시 성능을 저하시키는 기술 섀도잉 (Skill Shadowing)
LLM 에이전트의 기술 라이브러리가 확장될 때 발생하는 성능 저하 현상을 분석한 연구입니다. 성능 하락의 주요 원인이 컨텍스트 오버헤드가 아닌, 잘못된 기술을 선택하게 되는 '기술 섀도잉(Skill Shadowing)' 효과임을 규명했습니다.
5월 26일0