Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
수동 소프트웨어 최적화는 과거의 유물이 될 수 있을까?
본 연구는 LLM 기반 에이전트가 과학용 소프트웨어의 성능 향상을 자율적으로 달성할 수 있는지 조사했습니다. 세 가지 계산 문제에 대한 최적화 과제를 부여한 결과, 에이전트는 기존 최고 속도 도구보다 최대 두 자릿수까지 빠른 구현체를 성공적으로 생성했습니다. 이는 소프트웨어 최적화가 점차 자동화되어 인간의 역할이 '무엇을' 최적화할지 정의하고 검증하는 방향으로 변화함을 시사합니다.
10월 6일0
arXivAI 번역논문
병합되었지만 측정되지 않은: 코딩 에이전트에 의한 성능 문제 수정에 대한 경험적 연구
본 연구는 코딩 에이전트가 제안한 성능 개선 PR의 실제 효과에 대한 경험적 분석을 수행했습니다. 1,262개의 성능 문제를 식별하고 재실행한 결과, 병합된 수정 사항 중 상당수가 주장하는 만큼의 유효성을 갖지 못했거나 테스트되지 않은 입력에서 동작이 변경되는 문제가 발견되었습니다.
10월 6일2
arXivAI 번역논문
JavaScript 및 TypeScript의 취약점 및 수정된 소스 코드를 위한 함수 레벨 데이터셋
본 논문은 JavaScript 및 TypeScript의 취약점 탐지 모델 학습을 위해 JsVul이라는 고품질 데이터셋을 제시합니다. 이 데이터셋은 7개 출처에서 수집되었으며, 보안 패치 주변의 사전/사후 수정본과 관련 변경 사항만을 분리하여 언어별 전용 파이프라인으로 구축되었습니다.
10월 6일1
arXivAI 번역논문
E2E-SWE: 처음부터 작동하는 코드베이스 구축에 대한 LLM 벤치마킹
본 글은 LLM 기반 코딩 에이전트가 완전하고 기능적인 소프트웨어 저장소를 처음부터 끝까지 구축할 수 있는지 평가하는 새로운 벤치마크인 E2E-SWE를 소개합니다. 이 벤치마크는 11개 언어에 걸쳐 186개의 과제를 포함하며, 에이전트가 자연어 명세만으로 작동 가능한 프로젝트를 구현하도록 요구합니다. 테스트 결과, 최첨단 모델 간의 종단 간 저장소 생성 능력에서 큰 편차가 관찰되었습니다.
10월 6일2
arXivAI 번역논문
코드베이스에서 버그 원인까지 (C2C): 시맨틱 검색 및 계층적 강화학습을 통한 버그 탐색 공간 축소
C2C(From Codebase to Culprit)는 코드베이스에서 버그 원인을 정밀하게 찾아내는 새로운 프레임워크입니다. 이 시스템은 시맨틱 검색과 계층적 강화학습(HRL)을 결합하여 디버깅 탐색 공간을 점진적으로 축소합니다. 이를 통해 파일, 함수, 라인 등 다중 해상도에서 문맥적 일관성을 유지하며 버그를 위치 파악할 수 있습니다.
10월 6일1
arXivAI 번역논문
MallocSan: 네이티브 비공개 소스 애플리케이션을 위한 메모리 안전성 도구
본 논문은 소스 코드 접근이나 재컴파일이 필요 없는 네이티브 x86-64 Linux 애플리케이션을 위한 힙 정화기 MallocSan을 제안합니다. MallocSan은 LD_PRELOAD를 통해 메모리 할당에 가로채기를 수행하고, 포인터의 상위 비트에 객체 식별자를 임베드하여 런타임에 경계 검사를 수행함으로써 메모리 안전성을 확보합니다.
10월 6일2
arXivAI 번역논문
전통적 방식에서 AI 기반으로의 아키텍처 변화에 대한 실증 연구
본 연구는 사이버 물리 시스템(CPS)의 컨트롤러 아키텍처가 전통적 방식에서 AI 기반으로 변화하는 과정의 격차를 실증적으로 분석했습니다. 62개 모델과 전문가 설문 조사를 통해 세 가지 주요 아키텍처적 긴장 관계를 식별했으며, 특히 안전 메커니즘의 추적성 문제와 핵심 제어 로직의 공간적 축소 문제를 지적합니다.
10월 6일1
arXivAI 번역논문
Adaptive-GEPA: 이기종 요청에 맞게 하네스를 조정하다
Adaptive-GEPA는 이기종 요청(heterogeneous requests)에 대응하기 위해 설계된 새로운 반성적 최적화 기법입니다. 이는 단일 검색 예산 내에서 라우터와 전문 프로그램 라이브러리를 동시에 진화시키며, 여러 전문가를 활용하여 작업 분할을 학습합니다. 실험 결과, Adaptive-GEPA는 기존의 전체 프로그램 어댑터나 다른 방법론보다 높은 성능 향상을 보여주었습니다.
10월 6일2
arXivAI 번역논문
PatchHolmes: 리스트 단위 선택을 통한 에이전트 기반 패치 검색
본 논문은 취약점 패치 검색의 효율성을 높인 2단계 시스템 'PatchHolmes'를 제안합니다. 이 시스템은 하이브리드 검색기와 에이전트 기반 검사 루프를 결합하여, 후보 목록 전체를 한 번에 보고 최적의 커밋을 선택적으로 읽어냅니다. 실험 결과, 기존 방식 대비 높은 Recall@1 성능과 효율성을 입증했습니다.
10월 6일2
arXivAI 번역논문
양자 소프트웨어 자동화를 향하여: LLM 기반 진화에 대한 양자 인식 하네스
본 논문은 양자 소프트웨어 설계를 자동화하기 위해 '양자 인식 하네스(QSA)'를 제안합니다. QSA는 진화 난이도 기반 코어셋, 정적/스냅샷 분석, 작업별 보상 등 세 가지 양자 특이적 안내 기능을 통합하여 기존의 한계를 극복했습니다. IBM Quantum 플랫폼에서 테스트한 결과, 다중 프로그램밍 및 오류 완화 분야에서 성능 향상을 입증하며 효율성을 높였습니다.
10월 6일1
arXivAI 번역논문
적은 토큰으로 더 많은 성과를 내는 방법: 효율적인 코딩 에이전트를 위한 계층적 강화학습
본 논문은 복잡한 소프트웨어 엔지니어링(SWE) 시나리오에서 코딩 에이전트의 토큰 오버헤드 문제를 해결하기 위한 새로운 접근 방식을 제시합니다. 제안된 HERO 프레임워크는 강화학습을 통해 토큰 효율성보다 작업 해결 자체를 우선시하며, 궤적 및 턴 레벨 모두에서 효율적인 추론 패턴을 장려합니다. 실험 결과, HERO가 높은 해결률과 우수한 토큰 효율성의 균형을 달성했음을 입증했습니다.
10월 6일1
arXivAI 번역논문
실제 저장소에서의 신뢰할 수 있는 런타임 오류 복구: 벤치마크 및 가드레일
본 논문은 LLM 기반의 런타임 오류 복구 기술을 실제 저장소 환경에 적용하는 것을 목표로 합니다. 이를 위해 265개의 실제 오류를 모은 HealBench 벤치마크와, 안전성을 검증하는 HealGuard 프레임워크를 구축했습니다. 실험 결과, 기존 에이전트들이 상당한 수준의 충돌 복구 능력을 보였으나, HealGuard는 높은 오탐률을 기록하며 안전성 확보에 어려움이 있음을 보여주었습니다.
10월 6일2
arXivAI 번역논문
EngramBench: 스킬 진화 활용을 위한 역량 기반 벤치마크
EngramBench는 LLM 에이전트의 실제 소프트웨어 엔지니어링 역량을 평가하기 위해 설계된 새로운 벤치마크입니다. 기존 평가는 단순한 패턴 매칭이나 반복적 해결책 누출에 의존하는 한계가 있었습니다. EngramBench는 '해결책 중복 없음'이라는 원칙 하에, 복잡하고 상호작용적인 개발 주기를 통해 진정한 역량 전이 능력을 측정합니다.
10월 6일2
arXivAI 번역논문
기능적 동등성 여부? 코드 동등성을 위한 그래프 기반 미분 서로게이트 실행
본 논문은 두 프로그램의 기능적 동등성 판단을 위한 새로운 에이전트 FEAgent를 제안합니다. FEAgent는 타입 지정 그래프 증거와 미분 서로게이트 실행을 결합하여, 기존 테스트나 텍스트 유사성이 놓치는 동작적 불일치를 포착합니다. 이는 코드 현대화 및 패치 검증의 신뢰도를 높이는 감사 계층 역할을 합니다.
10월 6일2
arXivAI 번역논문
World Requirement Model: 타입화된 아티팩트 그래프로부터 요구사항 변경의 파급 효과 학습
본 논문은 타입화된 아티팩트 그래프를 활용하여 요구사항 변경이 시스템에 미치는 파급 효과를 학습하는 World Requirement Model (WRM)을 제안합니다. WRM은 관계 인식 어텐션과 타입 전파 메커니즘을 통해 영향도, 충돌, 결함 위험 등의 점수를 산출하며, 기존 모델 대비 높은 성능 향상을 입증했습니다.
10월 6일0
arXivAI 번역논문
출력 지배도 기반의 양자 프로그램 노이즈 내성 테스트
본 논문은 노이즈가 존재하는 중규모 양자(NISQ) 시대에 적합한 새로운 양자 소프트웨어 테스트(QST) 접근 방식인 Qomino를 제안합니다. Qomino는 별도의 노이즈 추정이나 완화 단계 없이 노이즈 샘플 자체에서 테스트 결함을 판단하는 지배도 기반의 방법을 사용합니다. 다양한 벤치마크와 비교하여 높은 정확도와 효율성을 입증했습니다.
10월 6일2
arXivAI 번역논문
DreamTest: 심층 강화학습 에이전트의 검색 기반 테스트를 위한 월드 모델 대리(Surrogate)
DreamTest는 심층 강화학습(DRL) 에이전트의 테스트 비용을 줄이기 위해 월드 모델 대리(Surrogate)를 제안합니다. 이 방법은 단순히 실패 여부를 예측하는 것을 넘어, 상상된 롤아웃을 통해 에피소드를 전개하며 실패를 추정합니다. 이를 통해 실제 시스템에서 모든 테스트를 실행하지 않고도 효과적으로 검색할 수 있습니다.
10월 6일2
arXivAI 번역논문
실용적인 일차 논리 시제 요구사항의 런타임 강제 구현
본 논문은 미래 동작 의무를 포함하는 복잡한 시제 요구사항을 효율적으로 강제할 수 있는 새로운 알고리즘과 도구인 EnfFlash를 제안합니다. MFOTL의 특정 부분을 식별하고, 이를 명령형 프로그램으로 컴파일하여 낮은 런타임 복잡도를 달성했습니다. 이로써 LLM 에이전트 보안 정책 등에서 기존 기술 대비 월등히 높은 성능을 입증했습니다.
10월 6일1
arXivAI 번역논문
대화로 이야기할 때 코드가 아닌 경우: 소프트웨어를 시뮬레이션하고 개발하는 LLM 에이전트 비교
본 연구는 LLM 에이전트가 소프트웨어를 시뮬레이션하는 '시뮬레이션 모드(S-mode)'와 코드를 직접 생성하여 공격에 노출시키는 '개발 모드(D-mode)'를 비교 분석했습니다. 이 비교를 통해 모델의 대화 기반 지식 탐색만으로는 실제 코드의 보안 취약점을 완벽히 예측할 수 없음을 입증했습니다.
10월 6일1
arXivAI 번역논문
미래로 돌아가다: LLM으로부터 가독성 특징을 회귀시키기
본 논문은 코드 가독성을 측정하는 새로운 방법론 BTTF를 제안합니다. BTTF는 선형 회귀와 정보 이론적 특징을 결합하여, 기존 모델의 한계를 극복하고 소스 구조, 의미론적 일관성 등을 포착합니다. 이 방법은 다양한 벤치마크에서 높은 성능과 강력한 변환 강건성을 입증했습니다.
10월 6일2