Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
생성형 딥러닝을 이용한 저전력 NVM의 우주 방사선 오류 주입
본 연구는 저궤도(LEO) CubeSat 임무에서 발생할 수 있는 NVM 장치 오류 모델을 개발했습니다. 생성형 딥러닝 기법을 활용하여 메모리 스냅샷의 공간적 패턴을 학습하고, 이를 모방하는 추가적인 오류 패턴을 합성적으로 생성합니다. 이 모델은 일반적인 애플리케이션 레벨 실험에 필요한 현실적인 메모리 오류를 효과적으로 생성할 수 있음을 입증했습니다.
1일 전0
arXivAI 번역논문
보안 기술은 리눅스 커널 취약점 탐지 코딩 에이전트를 얼마나 효과적으로 안내하는가?
본 연구는 Claude Code와 네 가지 LLM 기반 코딩 에이전트를 사용하여 10개 클래스, 100개의 실제 리눅스 커널 취약점에 대한 대규모 실증 분석을 수행했습니다. 그 결과, 기존 기술의 취약점 탐지 성능은 제한적이었으며, 실패 패턴 분석을 통해 SKILL-SIF라는 자체 개선 프레임워크를 제안했습니다. 이 프레임워크는 미지의 취약점 탐지 정확도를 최대 8배 향상시키는 것으로 나타났습니다.
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
arXivAI 번역논문
코딩 에이전트가 검토 속도를 앞지를 때: 성숙한 엔터프라이즈 저장소에서의 PRD 기반 개발 평가
본 글은 엔터프라이즈 환경의 복잡한 요구사항(PRD)을 충족하는 코딩 에이전트의 능력을 평가하기 위해 PACE 벤치마크를 소개합니다. 이 벤치마크는 요구사항 재구성, 기준 구축, 증거 기반 평가를 결합하여 실제 배포 과정에서의 부족한 부분을 측정합니다. 테스트 결과, GPT-5.6-Sol 모델이 가장 높은 완전 배포율을 보였으며, 개별 구성 요소 생성만으로는 전체 배포가 불완전할 수 있음을 시사합니다.
1일 전0
arXivAI 번역논문
SPLASH: 생성된 코드의 보안 환각을 탐지하고 위치를 지정하기 위한 대조적 감사 압력
SPLASH는 대규모 언어 모델(LLM)이 생성했으나 안전하지 않은 코드의 보안 환각을 탐지하고 취약한 위치를 지정하는 새로운 방법을 제시합니다. 이 방법은 '감사 압력'이라는 측정 지표를 사용하여, 프로그램과 문장 단위로 교차 편집 확률을 비교 분석합니다. SPLASH는 별도의 훈련이나 내부 접근 없이도 높은 정확도로 안전한 코드를 선택하고 취약점을 식별할 수 있음을 입증했습니다.
1일 전0
arXivAI 번역논문
ASTOR: 형식 문법을 활용한 소프트 제약 조건 최적화 자동 공식화의 벤치마킹 및 개선
본 논문은 자연어 의사 결정 문제를 수학적 최적화 모델로 변환하는 자동 공식화(autoformulation)의 한계를 개선한 ASTOR 프레임워크를 제안합니다. 특히, 기존 연구들이 간과했던 소프트 제약 조건(soft constraints)을 형식 문법 기반으로 포착하여 실행 가능한 코드로 컴파일합니다. SoftOR 벤치마크에서 최고의 성능을 입증했습니다.
1일 전0
arXivAI 번역논문
AfriBED: 저자원 아프리카 언어용 음성 인식 편향 평가 데이터셋
본 논문은 저자원 아프리카 언어인 Bemba와 Nyanja를 위한 음성 인식 편향 평가 데이터셋 AfriBED를 소개합니다. 이 데이터셋은 성별 및 화자 유형에 따른 ASR 시스템의 성능 편향을 탐지하고 추정하는 데 사용됩니다.
1일 전0
arXivAI 번역논문
KEEP-Bench: 컨텍스트 압축의 증거 보존 능력 평가
본 논문은 컨텍스트 압축이 야기할 수 있는 '충실도' 문제를 진단하기 위해 KEEP-Bench라는 새로운 벤치마크를 제안합니다. 이 벤치마크는 개연성 참고 해결책 등 까다로운 설정을 통해 증거 보존 능력을 직접 평가하며, 최신 모델들도 높은 토큰 길이에서 필요한 증거를 완벽하게 보존하지 못함을 보여줍니다.
1일 전0
arXivAI 번역논문
SpecMRL: 파라메트릭 스펙트럼 내 Matryoshka 표현 학습 재설계
본 논문은 Matryoshka Representation Learning (MRL)의 표현 압축 및 접두사 판독의 명시적 제약 부족 문제를 해결하기 위해 SpecMRL을 제안합니다. SpecMRL은 특징 중요도 기반의 파라미터 스펙트럼 기저를 도입하여, MRL이 표준화된 방식으로 작동하면서도 더 효과적인 정보 추출과 표현 압축 성능을 달성했습니다.
1일 전0
arXivAI 번역논문
MemT-1.0: 메모리 네이티브 진화로의 접근
MemT-1.0은 메모리를 모델의 본질적 능력으로 통합한 새로운 '메모리 파운데이션 모델' 아키텍처입니다. 이는 Gated DeltaNet-2와 Mixture-of-Storage를 활용하여 안정적인 토큰 레벨 메모리 업데이트 및 네이티브 메모리 용량 확장을 구현했습니다. MemT-1.0은 에이전트 작업에서 높은 성공률을 보이며, 기존의 검색 증강 방법과 경쟁할 만한 성능을 보여주었습니다.
1일 전0
arXivAI 번역논문
RefCraft: 웹 개발을 통한 시각 참조 기반 에이전트 생성 성능 평가
본 논문은 AI 에이전트가 시각적 참조를 활용하여 웹페이지를 개발하는 능력을 평가하기 위한 새로운 벤치마크인 RefCraft를 제안합니다. 이 벤치마크는 자연어 지침과 여러 개의 스크린샷을 결합한 현실적인 멀티모달 과제로 구성되어 있습니다. 평가 결과, 최신 LLM들이 실제 웹 개발 환경에서 시각적 참조 기반의 에이전트 생성 능력을 구현하는 데 여전히 큰 어려움을 겪고 있음을 보여줍니다.
1일 전0
arXivAI 번역논문
야생 환경에서의 에이전트 월드 모델: 컴퓨터 사용 에이전트 환경 합성
본 논문은 에이전트 학습의 범위를 실제 컴퓨터 시스템에 확장하기 위해, 제어 가능한 환경과 작업을 합성하는 파이프라인 WildAWM을 제안합니다. WildAWM은 GUI, 모델 컨텍스트 프로토콜 서비스, CLI를 통합 지원하여 시각적 상호작용, 도구 사용, 코드 실행을 결합할 수 있게 합니다. 이 오픈 소스 환경에서 훈련된 Qwen 모델이 다양한 분포 외(OOD) 컴퓨터 사용 작업에서 높은 일반화 성능을 보였습니다.
1일 전0
arXivAI 번역논문
OpenVLHarness: 멀티모달 메모리를 활용한 실제 세계 시각 에이전트 도구 사용
OpenVLHarness는 멀티모달 대규모 언어 모델(MLLMs)이 단순 추론을 넘어 외부 도구 사용과 지속적인 메모리 관리를 통해 실제 세계의 복잡한 시각적 작업을 수행하도록 돕는 하네스입니다. 이 시스템은 기능 계층과 영속적인 멀티모달 메모리를 결합하여, 다양한 백엔드에서 얻은 증거를 모델이 해석 가능한 형태로 유지하고 활용합니다.
1일 전0
arXivAI 번역논문
실제 작동하는 CAD 메커니즘 합성 가능할까?
본 연구는 LLM 에이전트가 단순히 시각적으로 그럴듯한 CAD 디자인을 넘어, 실제 물리적 기능을 충족하는 '기능적 CAD 디자인'을 생성하도록 하는 방법을 제시합니다. FunCAD-Harness 프레임워크와 FunCADBench 벤치마크를 통해 추상적인 요구사항을 물리 테스트로 변환하고 시뮬레이션 피드백으로 디자인 수정을 안내하여, 기계적 실패를 검증하는 새로운 접근 방식을 제안했습니다.
1일 전0
arXivAI 번역논문
WeAct: 에이전트 행동으로서의 동적 가중치 스위칭
WeAct는 장기 궤적 학습 시 발생하는 치명적 망각 문제를 해결하기 위해 제안된 방법론입니다. 이는 동결된 백본 위에 독립적인 LoRA 어댑터를 훈련하고, 이 어댑터 선택을 에이전트의 행동 공간에 추가합니다. 이를 통해 온디맨드 역량 조합 및 모듈식 지속적 적응을 가능하게 합니다.
1일 전0