Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
FacProcessTwin: 프로세스 트윈 개발을 위한 LLM 기반 시스템
LLM을 활용하여 제조 공정의 프로세스 트윈을 신속하게 구축하는 FacProcessTwin 시스템을 제안합니다. 공정 문서와 자연어 입력을 바탕으로 모델을 생성하고 실시간 데이터와 연결하여 개발 시간을 획기적으로 단축합니다.
6월 17일0
arXiv논문
위치: 코딩 벤치마크는 에이전트 기반 소프트웨어 엔지니어링과 정렬되어 있지 않음
현재의 코딩 벤치마크가 에이전트 기반 소프트웨어 엔지니어링 방식과 일치하지 않는 문제를 지적합니다. 기존 벤치마크는 모델, 환경, 피드백 신호를 통합하여 점수를 매기기 때문에 개별 컴포넌트의 성능을 정확히 측정하기 어렵습니다.
6월 17일0
arXiv논문
모델 신뢰성만으로는 부족한 이유: 시뮬레이션 아키텍처에서의 신뢰성 재고
시뮬레이션 아키텍처 내에서 개별 모델의 신뢰성을 넘어 조립 신뢰성(Assembly Credibility)을 평가하는 방법론을 다룹니다. 민감도 분석, 전문가 분석, AI 설명 가능성 등 다양한 접근 방식을 비교하고 평가합니다.
6월 17일0
arXiv논문
신뢰할 수 있는 자가 구성형 Big-Data-as-a-Service: 자동화된 데이터 엔지니어링, AutoML, MLOps 배포 및 드리프트
LLM 오케스트레이션을 활용하여 데이터 수집부터 MLOps 배포 및 드리프트 탐지까지 전 과정을 자동화하는 자가 구성형 BDaaS 프레임워크를 제안합니다. 멀티 에이전트 협업을 통해 기존 AutoML의 한계를 극복하고 라이프사이클 전반의 신뢰성과 재현성을 높였습니다.
6월 17일0
arXiv논문
대규모 에이전트 기술(Agentic Skills) 평가를 위한 프레임워크
LLM 에이전트의 능력을 증강하는 '에이전트 기술(Agentic Skills)'을 체계적으로 평가하기 위한 새로운 프레임워크를 제안합니다. 500개의 기술과 1,000개의 태스크를 통해 다양한 모델의 지시 이행 및 목표 달성 능력을 분석하고 평가 데이터셋을 공개합니다.
6월 17일0
arXiv논문
망치를 휘두르기 위한 계획: Rocq 증명 자동화를 위한 난이도 인식 분해
LLM의 전략적 계획 능력과 자동화된 택틱의 국소적 해결 능력을 결합한 증명 합성 프레임워크 Quarry를 제안합니다. Quarry는 증명 계획과 실행을 분리하여 복잡한 증명을 해결 가능한 단위로 분해하고 순위를 매겨 자동화 성능을 높입니다.
6월 17일0
arXiv논문
양자 회로에는 얼마나 많은 샷(Shots)이 필요한가?
양자 알고리즘의 출력 분포를 정확히 추정하기 위해 필요한 최소 샷(shots) 수를 결정하는 새로운 온라인 프레임워크 'IncrementalExecution'을 제안합니다. 회로 구조나 노이즈 모델에 의존하지 않는 블랙박스 설정에서 실행 비용과 결과 충실도 사이의 최적의 트레이드오프를 제공합니다.
6월 16일0
arXiv논문
LLM 에이전트는 코드 저장소를 볼 수 있는가
LLM 기반 코딩 에이전트가 코드 저장소의 시각적 구조를 활용할 때의 효용성을 연구한 논문입니다. 시각적 그래프를 텍_스트 인터페이스와 결합할 경우, 토큰 소비를 줄이면서도 이슈 해결 정확도를 유지하거나 향상할 수 있음을 입증했습니다.
6월 16일0
arXiv논문
AGENTS.md 파일의 설정 스멜(Configuration Smells): 코딩 에이전트 설정 시 발생하는 흔한 실수들
코딩 에이전트의 설정 파일(AGENTS.md, CLAUDE.md)에서 발생하는 일반적인 문제점인 '설정 스멜(Configuration Smells)'을 정의하고 분석한 연구입니다. 오픈 소스 저장소 분석을 통해 린트 누출, 컨텍스트 비대화 등 6가지 주요 스멜을 식별하고 이를 탐지하기 위한 자동화된 휴리스틱을 제안합니다.
6월 16일0
arXiv논문
에이전트 하네스(Agent Harness)를 위한 LLM-as-Code 에이전트 프로그래밍
LLM 에이전트의 구조적 결함인 토큰 폭발과 제어 흐름 환각을 해결하기 위해 'LLM-as-Code' 프로그래밍 방식을 제안합니다. 제어권을 확률론적인 LLM이 아닌 결정론적인 프로그램에 부여하여 에이전트의 신뢰성과 안정성을 높이는 설계 방식입니다.
6월 16일0
arXiv논문
LLM 네이티브 소프트웨어 시스템에서의 생성 흐름에 대한 그래픽-확률적 모델링 (Graphical-Probabilistic Modeling
LLM 네이티브 소프트웨어 설계의 엄밀함을 확보하기 위해 생성 흐름을 문서화하는 새로운 방법론을 제안합니다. 확률적 모델링을 통해 LLM의 불확실성과 창발적 현상을 체계적으로 분석하고 추론할 수 있는 프레임워크를 구축하고자 합니다.
6월 16일0
arXiv논문
Green SARC: 에이전트형 AI 시스템을 위한 예측적 비용 및 탄소 거버넌스
에이전트형 AI 시스템의 재무적 비용과 탄소 배출을 예측하고 제어하기 위한 Green SARC 프레임워크를 제안합니다. 아키텍처 기반의 거버넌스를 통해 에이전트 루프 내에서 비용과 환경 영향을 사전에 예측하고 관리하는 이론과 실험 결과를 다룹니다.
6월 16일0
arXiv논문
Open-SWE-Traces: 소프트웨어 엔지니어링 에이전트를 위한 이중 모드 다국어 증류 기술의 발전
소프트웨어 엔지니어링 에이전트 학습을 위한 대규모 다국어 궤적 데이터셋인 Open-SWE-Traces를 소개합니다. 9가지 프로그래밍 언어와 20만 개 이상의 에이전트 궤적을 포함하며, 하이브리드 추론 합성 방식을 통해 고품질 데이터를 제공합니다.
6월 16일0
arXiv논문
피드백 기반 다회차 정교화를 통한 이진 디컴파일 LLM
본 논문은 강화학습을 활용하여 피드백 기반의 다회차 이진 디컴파일을 수행하는 AutoDecompiler를 제안합니다. 단회차 생성의 한계를 극복하기 위해 컴파일 및 실행 피드백을 바탕으로 코드를 반복적으로 정교화하며, 동작 재실행 가능성을 크게 향상시켰습니다.
6월 16일0
arXiv논문
Q-READY: 하이브리드 양자-고전 애플리케이션을 위한 예측적 타당성 평가
하이브리드 양자-고전 애플리케이션의 타당성을 체계적으로 평가하기 위한 방법론인 Q-READY를 제안합니다. MDE 및 MBSE 원칙을 기반으로 요구사항 모델링부터 하드웨어 인지적 타당성 평가까지 아우르는 구조화된 파이프라인을 구축합니다.
6월 16일0
arXiv논문
AI 공급망 갤럭시: 라이선스 준수를 위한 3D 시각적 분석
AI 모델 재사용 확산에 따른 복잡한 의존성 문제를 해결하기 위해 3D 시각적 분석 시스템인 AISCG를 제안합니다. Hugging Face의 대규모 모델 데이터를 분석하여 라이선스 누락 및 드리프트 리스크를 시각적으로 추적하고 관리하는 방법을 제시합니다.
6월 16일0
arXiv논문
UXBench: LLM이 생성한 UX 비평의 실행 가능성(Actionability) 측정
LLM이 생성한 UX 비평의 실행 가능성을 측정하기 위한 새로운 벤치마크인 UXBench를 제안합니다. 브라우저 탐색과 상호작용 증거 수집을 통해 모델이 생성한 UX 보고서가 실제 인터페이스 개선에 얼마나 유용한지 평가합니다.
6월 16일0
arXiv논문
보는 것이 선택하는 것은 아니다: LLM 에이전트의 도구 선택 실패에 대한 어텐션-세그먼트(Attention-Segment) 관점의 분석
LLM 에이전트가 도구를 잘못 선택하는 원인이 '정보 혼잡'이 아닌 '의사결정 판독(decision readout)' 단계의 문제임을 어텐션 분석을 통해 입증했습니다. 모델은 올바른 도구에 높은 어텐션을 기울임에도 불구하고 잘못된 선택을 하며, 이를 해결하기 위한 훈련 불필요한 선택기(selector)를 제안합니다.
6월 16일0
arXiv논문
마이크로서비스 아키텍처에서의 조직 응집력: 다중 프로젝트 실증 연구
마이크로서비스 아키텍처(MSA)에서 개발자 기여 활동과 서비스 경계 간의 관계를 분석하는 '조직 응집력' 개념을 제안합니다. Spinnaker 및 오픈 소스 프로젝트 사례 연구를 통해 팀 응집력과 서비스 간 결합도 사이의 상관관계가 낮음을 입증했습니다.
6월 16일0
arXiv논문
자동화된 웹 GUI 테스트 이해: 탐색 전략 및 상태 추상화에 관한 실증적 연구
자동화된 웹 GUI 테스트(AWGT)에서 탐색 전략과 상태 추상화가 테스트 효과성에 미치는 영향을 분석한 실증적 연구입니다. 모델 기반, RL 기반, LLM 기반 접근 방식을 비교하여 코드 커버리지와 결함 노출 측면에서의 상호 보완적 강점을 확인했습니다.
6월 16일0