Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv Codex (cs.SE) 810건필터 해제
arXiv논문
판단자 그 이상: 크라우드소싱 테스트 평가에서의 에이전트-인간 상호작용에 관한 실증적 연구
에이전트형 AI가 크라우드소싱 테스트 환경에서 단순한 평가자를 넘어 테스터의 보고 품질을 개선하는 피드백 제공자로서 기능할 수 있음을 실증적으로 연구했습니다. 피험자 연구 결과, 에이전트의 피드백은 보고서 수정과 작업 수행 능력 향상에 기여함을 확인했습니다.
6월 5일0
arXiv논문
멀티태스크 표현 공학 (Multitask Representation Engineering)을 통한 LLM 생성 코드의 가독성 향상 연구
LLM이 생성한 코드의 가독성을 높이기 위해 멀티태스크 표현 공학(Multitask RepE) 프레임워크를 제안하는 연구입니다. 기존의 정확성 중심 연구에서 벗어나, 가독성과 정확성 사이의 트레이드오프를 이론적으로 분석하고 실험적으로 검증합니다.
6월 5일0
arXiv논문
소프트웨어 모델링 교육에서의 도메인 다양성, 동기 부여, 포용성 및 피드백
소프트웨어 모델링 교육에서 문제 도메인의 다양성과 문화적 관점이 학생의 동기 부여 및 포용성에 미치는 영향을 연구했습니다. 설문 결과, 학생들은 사회적 관련성이 높은 도메인을 선호하는 반면 교육자는 학습 관련 도메인을 선호하는 인식 차이를 보였습니다.
6월 5일0
arXiv논문
CodegenBench: LLM은 다양한 아키텍처에 걸쳐 효율적인 코드를 작성할 수 있는가?
다양한 하드웨어 아키텍처(x86_64, Sunway, Kunpeng)에서 LLM의 고성능 컴퓨팅(HPC) 코드 생성 능력을 평가하는 CodegenBench를 소개합니다. 연구 결과, LLM은 범용 아키텍처에는 강하지만 문서가 부족한 특화 아키텍처에서는 성능이 크게 저하됨을 확인했습니다.
6월 4일0
arXiv논문
예측 불가능한 안전성: Open-Weight LLM의 도메인 의존적 준수 및 투명성 격차
오픈 가중치 LLM의 도메인별 안전 준수율과 투명성 격차를 분석한 연구입니다. 실험 결과, 모델의 안전 행동이 도메인 맥락에 따라 극도로 불균형하며, 기술적 프레이밍을 통한 우회 가능성이 확인되었습니다.
6월 4일0
arXiv논문
마이크로서비스 아키텍처 내 구조적 커뮤니티의 진화 분석
마이크로서비스 아키텍처(MSA)의 저하를 탐지하기 위해 시계열 커뮤니티 탐지 기법을 활용한 연구입니다. train-ticket 벤치마크를 통해 서비스 의존성 네트워크의 진화를 분석하고, 부적절한 서비스 분할 및 안티 패턴을 식별하는 방법을 제안합니다.
6월 4일0
arXiv논문
기업용 AI 에이전트의 배포 전 보증을 향하여: 온톨로지 기반 시뮬레이션 및 신뢰 인증
기업용 AI 에이전트 배포 전 검증을 위해 온톨로지 기반의 시뮬레이션 및 신뢰 인증 프레임워크를 제안합니다. 규제, 도메인 제약, 안전 속성을 포함한 시나리오 생성 파이프라인을 통해 에이전트의 운영 범위를 공식화하고 검증합니다.
6월 4일0
arXiv논문
증명 기반 에이전트 동작 (Proof-Carrying Agent Actions): 이기종 에이전트 시스템을 위한 모델 불가지론적 런타임 거버넌스
이기종 에이전트 시스템에서 일관된 거버넌스를 유지하기 위한 '증명 기반 에이전트 동작(PCAA)' 모델을 제안합니다. 런타임에 종속되지 않는 동작 인증서를 통해 에이전트의 승인 및 실행 과정을 표준화하고 검증하는 체계를 다룹니다.
6월 4일0
arXiv논문
보이지 않는 복권: 미세한 단서가 LLM 코드 생성 시 알고리즘 선택을 어떻게 유도하는가
LLM이 코드를 생성할 때 작업 명세 외의 미세한 문맥적 단서가 알고리즘 선택에 큰 영향을 미친다는 연구 결과입니다. 실험을 통해 특정 단서가 알고리즘 분포를 체계적으로 변화시킴을 확인했으며, 이를 완화하기 위해 직접적인 알고리즘 명명 방식을 제안합니다.
6월 4일0
arXiv논문
veriFIRE: DNN 기반 산불 탐지 시스템의 일관성 속성 검증을 위한 산업 사례 연구
산불 탐지용 DNN 시스템의 신뢰성을 높이기 위한 veriFIRE 프로젝트의 연구를 소개합니다. 항공 플랫폼의 일관성 속성을 검증하기 위해 애플리케이션 요구사항을 신경망 검증기용 쿼리로 인코딩하는 방법론을 제시합니다.
6월 4일0
arXiv논문
심층 신경망 (DNN)을 위한 잠재 앵커 기반 테스트 생성
심층 신경망(DNN)의 취약점을 식별하기 위해 잠재 공간을 활용하는 블랙박스 테스트 프레임워크 'Latte'를 제안합니다. VQ-VAE를 통해 의미론적 유사성을 유지하면서도 결함 노출과 다양성을 극대화하는 테스트 케이스 생성이 가능합니다.
6월 4일0
arXiv논문
희소(Sparse), 연속(Continuous), 구조화된(Structured) 파라미터 공격에 대한 일반화된 방어 체계 연구
심층 신경망의 파라미터를 직접 조작하는 다양한 공격에 대응하기 위한 일반화된 방어 체계인 ParDef를 제안합니다. ParDef는 키 기반 재매개변수화, QC-LDPC 양자화, 적응형 강건 추론을 통합하여 모델 성능 저하를 최소화하면서 공격 성공률을 낮춥니다.
6월 4일0
arXiv논문
의사결정 경관의 베이지안 유도 탐색을 통한 신경망 테스트
신경망의 신뢰성을 평가하기 위해 베이지안 최적화와 살리언시 기법을 결합한 새로운 테스트 프레임워크 BayesWarp를 제안합니다. 이 방식은 데이터의 의미론적 근접성을 유지하면서도 효율적으로 모델의 실패 사례를 찾아내어 테스트 효과를 높입니다.
6월 4일0
arXiv논문
PM4Py-UCM을 활용한 프로세스 마이닝 유스케이스 맵 (UCM) 모델링 연구
본 논문은 프로세스 마이닝 결과물을 URN 기반의 유스케이스 맵(UCM)으로 변환하는 PM4Py-UCM 라이브러리를 제안합니다. 이를 통해 마이닝된 프로세스를 요구사항 공학(RE) 활동에 직접 활용할 수 있는 파이프라인과 계층적 분해 전략을 제시합니다.
6월 4일0
arXiv논문
Context-as-a-Service: LLM 생성 개발자 문서를 위한 파일 간 의존성 체인 가시화
LLM 에이전트가 개발자 문서를 정확하게 작성하고 검토할 수 있도록 파일 간 의존성을 시각화하고 검색하는 Context-as-a-Service(CaaS)를 제안합니다. CaaS는 소스 코드와 API 참조를 인덱싱하여 에이전트가 코드베이스 전반의 의존성 체인을 효과적으로 추적하게 돕습니다.
6월 4일0
arXiv논문
단일 정책을 넘어: LLM 챗봇의 복합 조직 특화 정책 정렬(Policy Alignment) 평가
LLM 챗봇이 의료, 금융 등 특정 조직의 복합적인 정책을 준수하는지 평가하는 연구를 소개합니다. 기존 벤치마크가 놓치고 있는 복합 정책 위반 문제를 해결하기 위해 자동화 도구인 COPAL을 제안합니다.
6월 4일0
arXiv논문
SoK: 소프트웨어 시스템에서의 양자 내성 암호 (PQC) 구현
본 연구는 양자 내성 암호(PQC)를 소프트웨어 시스템에 통합할 때 발생하는 기술적, 인간적, 조직적 과제를 분석한 SoK 논문입니다. 기존의 기술 중심 연구에서 벗어나 HOT(Human, Organisation, Technology) 프레임워크를 통해 사회 기술적 관점의 통합적 접근을 제안합니다.
6월 4일0
arXiv논문
Ekka: LLM 추론에서의 잠재적 오류(Silent Errors) 자동 진단
LLM 서빙 프레임워크에서 발생하는 명시적 오류 없는 품질 저하(silent errors)를 진단하는 시스템 Ekka를 제안합니다. 참조 구현체와의 차분 디버깅 방식을 통해 중간 실행 상태를 비교하여 근본 원인을 자동으로 식별합니다.
6월 4일0
arXiv논문
Rocq에서의 추출 및 검색: 정리, 정의 및 그 의존성
Rocq(Coq) 환경에서 정리, 의존성, 정의를 효율적으로 추출하고 분석할 수 있는 도구인 TheoremExtr를 소개합니다. 파싱 및 런타임 단계에서 정보를 분석하며, 프로젝트 간 유사도 검색을 지원하는 웹사이트도 함께 제공합니다.
6월 4일0
arXiv논문
Vul-RAG 재고: Open-Weight 모델을 활용한 RAG 기반 취약점 탐지의 재현성 및 복제 가능성 연구
본 연구는 RAG 기반 취약점 탐지 프레임워크인 Vul-RAG의 재현성과 복제 가능성을 Open-weight 모델을 통해 검증합니다. 실험 결과, 로컬 환경에서도 결과가 재현됨을 확인했으나 모델 규모의 증가가 성능 향상으로 직결되지 않는 정체 현상을 발견했습니다.
6월 4일0