Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
RL 논문에서 프레임워크 코드로: 7개 오픈 소스 학습 프레임워크에서의 포함 및 검토
본 연구는 7개의 오픈 소스 RL 트레이닝 프레임워크를 분석하여, 학술 논문에서 제안된 강화학습(RL) 방법론이 실제 프레임워크에 얼마나 자주 포함되는지 추적했습니다. 그 결과, 일반적인 RL 방법을 제안한 논문 중 약 3%만이 실제로 프레임워크에 구현되었으며, 특히 대규모 정책 매개변수나 손실 함수 수정과 관련된 방법들이 더 자주 채택됨을 발견했습니다.
13시간 전0
arXivAI 번역논문
AgenTest: 비즈니스 규칙을 마이닝하여 LLM 에이전트의 비즈니스 로직 버그를 테스트하기
본 논문은 LLM 에이전트가 준수해야 하는 도메인별 비즈니스 규칙 위반 버그를 탐지하는 새로운 방법론 AgenTest를 제안합니다. AgenTest는 시스템 프롬프트와 도구 정의에서 비즈니스 규칙을 마이닝하여 Given-When-Then 사양으로 정제하고, 이를 통해 에이전트의 잠재적 오류를 체계적으로 테스트합니다.
13시간 전0
arXivAI 번역논문
모델뿐만 아니라 전체 에이전트를 학습시키기
본 글은 코딩 에이전트의 학습 방식을 개선한 HarnessAdapt-RL을 소개합니다. 기존 방식이 정책만 업데이트하는 것과 달리, 이 방법은 강화학습 과정에서 정책뿐 아니라 하네스(harness) 자체를 적응시키고 진화시킵니다. 이를 통해 복잡하고 다양한 작업 환경에서의 성능 향상을 입증했습니다.
13시간 전0
arXivAI 번역논문
태풍 피해 건물 평가 및 복구 추론을 위한 멀티모달 엔지니어링 GraphRAG 프레임워크
본 연구는 태풍 피해 건물 평가 및 복구를 위해 GraphRAG 프레임워크를 개발했습니다. 이 프레임워크는 이미지와 텍스트 등 이질적인 재난 증거를 엔지니어링 관계 기반의 그래프로 통합합니다. 이를 통해 부분적 관측 가능성 하에서도 투명하고 신뢰도 높은 건물 상태 및 복구 추론을 지원합니다.
13시간 전0
arXivAI 번역논문
서문: Jacobian 렌즈를 사용한 LLM 테스트 실패의 사전 예측 및 특성화
본 논문은 LLM 테스트의 높은 비용 문제를 해결하기 위해 Foreword라는 새로운 프레임워크를 제안합니다. Foreword는 성공 및 실패한 참조 모두에서 학습하고, Jacobian 렌즈(J-lens) 기법을 사용하여 입력의 실패 위험도를 해석 가능하게 표현합니다. 이 방법은 기존 최고 수준의 테스트 도구보다 우수한 성능으로 실패 예측과 테스트 우선순위 지정 능력을 입증했습니다.
13시간 전0
arXivAI 번역논문
ExeBench-FHD: 디컴파일러 평가의 충실도 문제 해결
본 논문은 LLM 기반 디컴파일러 평가의 표준 벤치마크인 ExeBench가 가진 여러 한계점을 분석하고, 이를 개선한 ExeBench-FHD를 제시합니다. ExeBench-FHD는 콜 사이트 어셈블리, 데이터 섹션 등 16개의 새로운 필드를 추가하여 디컴파일러 평가의 충실도를 높였습니다.
13시간 전0
arXivAI 번역논문
코드 생성기에서 엔지니어링 동반자로: 플랜트 인식 에이전트를 활용한 PLC 프로그래밍
본 논문은 기존의 일회성 코드 생성 방식을 넘어, 플랜트 전체에 대한 지속적인 지식을 갖춘 대화형 코파일럿을 제시합니다. 이 시스템은 플랜트별 컨텍스트 수집, 채팅 기반 상호작용 모델, 그리고 배포까지 점진적으로 도구를 활용하는 구조를 통해 엔지니어의 작업 흐름 전반을 지원합니다.
13시간 전0
arXivAI 번역논문
Quantum Broker: 서비스 품질(QoS) 인지 양자 컴퓨팅 분배
본 논문은 다양한 QPU를 사용하는 파편화된 양자 클라우드 환경에서 서비스 품질(QoS) 인지 양자 실행 관리를 위한 오픈 소스 프레임워크인 Quantum Broker를 제안합니다. 이 프레임워크는 통계적 독립성을 활용하여 단일 회로를 여러 이질적인 QPU에 분배하며, 사용자 정의 목표에 따라 샷 단위 최적화를 구현합니다.
13시간 전0
arXivAI 번역논문
객체 지향 하네스: 객체 지향 설계를 통한 에이전트 하네스의 진화
본 논문은 객체 지향 설계를 활용하여 에이전트 하네스(Agent Harness)를 진화시키는 OO-Harness 프레임워크를 제안합니다. 이 프레임워크는 계층적 클래스 구조를 통해 다양한 작업을 처리할 수 있도록 최적화되었으며, 훈련 및 테스트 과정에서 전문화된 하네스를 생성하고 라우팅하는 과정을 거칩니다.
13시간 전0
arXivAI 번역논문
InterWebCoder: 강화학습을 통한 실행 가능한 테스트 기반의 인터랙티브 웹페이지 생성 학습
본 논문은 인터랙티브 웹페이지 코드 생성을 위한 효율적인 프레임워크인 InterWebCoder를 제안합니다. 이 프레임워크는 테스트 기반의 데이터 합성 파이프라인을 통해 기능적 정확성과 시각적 충실도를 동시에 최적화합니다. 이를 통해 기존 GUI-에이전트 검증 방식보다 빠르고 재현 가능한 방식으로 웹페이지 코드를 생성하고 개선할 수 있습니다.
13시간 전0
arXivAI 번역논문
TraceLite: 광학 압축 및 중복 제거를 통한 SWE 에이전트의 효율적인 추적 기록 축소
본 기사는 SWE 에이전트의 방대한 상호작용 추적 기록으로 인한 토큰 소비 및 오버헤드 문제를 해결하기 위한 프레임워크 TraceLite를 제안합니다. TraceLite는 광학 렌더링을 활용하여 이질적인 관찰 내용을 압축하고, 중복성을 제거하며, 단계 만료 페이로드를 폐기하는 비훈련 기반의 방법을 사용합니다. 평가 결과, 기존 기준선보다 높은 해결률을 유지하면서 토큰 소비와 API 비용을 크게 절감했습니다.
13시간 전0
arXivAI 번역논문
Industrial ReMEmbR: 로봇 군집을 위한 시공간 메모리 확장
본 글은 로봇 군집을 위한 공유 시공간 메모리 시스템 IndustrialRemembr를 제안합니다. 이 시스템은 원시 비디오 프레임을 직접 저장하는 대신, Jetson과 같은 엣지 디바이스에서 임베딩 및 비전 토큰으로 효율적으로 인코딩하여 서버 측 계산 부하와 통신 비용을 절감합니다. 이를 통해 로봇 군집이 재사용 가능한 의미론적 메모리를 구축할 수 있습니다.
13시간 전0
arXivAI 번역논문
보안 기술은 리눅스 커널 취약점 탐지 코딩 에이전트를 얼마나 효과적으로 안내하는가?
본 연구는 Claude Code와 네 가지 LLM 기반 코딩 에이전트를 사용하여 10개 클래스, 100개의 실제 리눅스 커널 취약점에 대한 대규모 실증 분석을 수행했습니다. 그 결과, 기존 기술의 취약점 탐지 성능은 제한적이었으며, 실패 패턴 분석을 통해 SKILL-SIF라는 자체 개선 프레임워크를 제안했습니다. 이 프레임워크는 미지의 취약점 탐지 정확도를 최대 8배 향상시키는 것으로 나타났습니다.
1일 전0
arXivAI 번역논문
에이전트 디자인 패턴 선택 및 조합: 산업 사례 증거와 제어된 참조 시스템 실험
본 연구는 에이전트 패턴 선택 및 조합에 대한 증거 기반의 접근 방식을 제시하며, 인지 기능과 실행 토폴로지를 결합한 프레임워크를 제안합니다. 이 프레임워크는 산업 사례 보고서와 실무자 워크숍을 통해 검증되었으며, 다양한 시스템 구성에서 높은 성공률을 보였습니다. 연구 결과는 단순히 패턴 카탈로그를 제공하는 것을 넘어, 실제 실행 가능한 조합 메커니즘의 중요성을 강조하며 엔지니어링 디자인 결정에 기여합니다.
1일 전0
arXivAI 번역논문
내부 구조 분석: 건설 소프트웨어의 취약한 의존성(Dependency)에 대한 교차 생태계 연구
본 연구는 건설 소프트웨어에 사용된 904개의 GitHub 저장소를 분석하여 의존성 취약점 노출 현황을 조사했습니다. 그 결과, 상당수의 프로젝트가 취약점 평가를 완료하지 못했으며, 스캔된 저장소의 대다수에서 심각한(High/Critical) 취약점이 발견되었습니다. 또한, CWE 매핑을 통해 반복적인 리소스 소비 등 다양한 유형의 약점을 식별하고, 상위 패키지 의존성의 위험도가 높음을 강조했습니다.
1일 전0
arXivAI 번역논문
리더보드를 넘어서: 대규모 언어 모델의 애플리케이션별 역량 프로파일링 방법
본 논문은 LLM을 전반적으로 평가하는 리더보드의 한계를 지적하며, 특정 애플리케이션과 아키텍처에 최적화된 모델 선택 방법을 제시합니다. 각 애플리케이션을 독립적인 컨테이너 테스트베드로 구현하고, 고유한 데이터셋 및 평가자를 통해 모델의 역량을 정량적으로 프로파일링하는 방법론입니다.
1일 전0
arXivAI 번역논문
찾는 것에서 고치는 것으로: 에이전트 기반 프로그램 복구에 결함 위치 파악(FL)은 얼마나 유용한가?
본 연구는 LLM 에이전트 기반 프로그램 복구 과정에서 결함 위치 파악(FL)의 실질적인 유용성을 체계적으로 분석했습니다. 6가지 FL 방법을 SWE-bench 및 Defects4J 데이터셋에서 평가한 결과, 높은 위치 파악 정확도가 반드시 복구 성공률을 일관되게 개선하지는 않았습니다. 하지만 FL은 에이전트가 관련 코드에 더 빨리 도달하도록 안내하는 등 초기 검색 단계에서 유용함을 확인했습니다.
1일 전0
arXivAI 번역논문
C 프로그램의 경계 모델 검사를 위한 함수 계약 (Function Contracts)
본 문서는 경계 모델 검사(Bounded model checking)의 효율성을 높이기 위해 함수 계약(Function contracts) 프레임워크를 제시합니다. 기존 방식은 루프마다 솔버 비용을 지불하는 문제가 있었으나, 새로운 프레임워크는 관찰적 프레임 규칙을 통해 전역 변수 개수에 기반한 검증 조건을 생성하여 성능과 건전성을 개선했습니다.
1일 전0
arXivAI 번역논문
코드 생성을 위한 정책 및 보상 공동 진화: 단일 어댑터 드리프트에 대한 기계적 연구
본 논문은 코드 생성에 대한 정책 및 보상 공동 진화 접근 방식(SPARK)을 연구했습니다. Qwen2.5-Coder-3B-Instruct를 사용하여 롤아웃 재활용과 실행 기반 최적화를 비교한 결과, 공동 진화가 훈련 성능 향상을 가져오지만, 이 이득이 일반화되지 않음을 보여주었습니다. 특히 '단일 어댑터 정책 드리프트' 현상이 관찰되었습니다.
1일 전0
arXivAI 번역논문
VerusEval: 검증기 수용을 넘어선 LLM 생성 Verus 사양 평가
본 논문은 LLM이 Rust 기반 Verus 계약과 증명문을 생성하는 과정에서, 단순한 검증기 수용 여부만으로는 계약의 실제 의도 포착 여부를 판단하기 어렵다는 문제를 제기합니다. 이를 해결하기 위해 의미적 자명성, I/O 스위트, 계약 동등성 등 6가지 차원을 평가하는 VerusEval 프레임워크를 제시했습니다.
1일 전0