929 편의 논문
본 논문은 L* 학습, 문법 제약 기반의 LLM, 그리고 볼록 최적화를 통합함으로써 자연어 요구사항으로부터 형식적으로 검증된 마르코프 사용 모델의 합성을 자동화하고, 이를 통해 순수 신경망 기반 베이스라인을 크게 상회하는 고충실도 결함 탐지 및 커버리지를 달 수 있도록 함으로써 안전 필수 시스템을 위한 수동 모델링 병목 현상을 제거하는 뉴로-심볼릭 MBST 프레임워크를 소개한다.
이 논문은 복잡한 사용자 질의를 처리하기 위해 규칙 기반 분류기를 활용하고 평가를 위한 '개선된 중첩 비율' 지표를 도입하여, PETS09 데이터셋에서 기존 방식보다 우수한 정확도와 품질을 입증하며 감시 영상 내 이상 이벤트 시놉시스를 생성하기 위한 대화형 질의 기반 알고리즘을 제안한다.
이 논문은 대규모 소프트웨어 시스템에서 리스크 커버리지를 유의미하게 개선하고, 중복을 줄이며, 결함 발견을 증가시키기 위해 과거 데이터와 릴리스 컨텍스트를 통합하는 프로젝트 메모리 저장소로 강화된 LLM 기반 테스트 케이스 생성 방식을 제안한다.
이 논문은 BrEaST 데이터셋을 사용하여 유방 초음파의 악성 대 비악성 이진 분류를 위한 MATLAB 기반의 예비 CNN 베이스라인을 구축하였으며, 탐색적 하위 유형 레이블링과 설명 가능성을 검증된 결과가 아닌 향후 연구 방향으로 명시적으로 설정하면서 테스트 정확도를 향상시켰다.
본 논문은 전이율을 임상적으로 의미 있는 요소들로 분해하고, 확률적 자동 미분을 통해 이들의 민감도를 계산하며, 실시간으로 추적 가능한 평이한 언어의 설명을 생성함으로써 임상 의사 결정 지원을 위한 연속 시간 마르코프 체인 모델에 해석 가능성을 직접 통합하는 모듈형 미분 가능 프로그래밍 프레임워크를 제시한다.
이 연구는 기능적 전이(functional shifts)로 인해 발생하는 가든 패스 문장(garden path sentences)을 처리하는 데 있어 NLTK, TextBlob, spaCy의 성능을 비교하며, spaCy가 구문론적 정확도 측면에서 다른 두 라이브러리보다 크게 우수하다는 것을 밝히고 아프리카 언어를 포함한 NLP 도구 개선을 위한 통찰을 제공한다.
본 논문은 컨포멀 확률적 예측(conformal probabilistic forecasting)과 시나리오 기반 확률적 라우팅(scenario-based stochastic routing)을 통합함으로써 공급망 계획에서의 머신러닝과 운영 연구를 연결하는 참조 아키텍처 및 오픈 소스 구현을 제시하며, 합성 백테스트를 통해 보정되지 않은 분위수 예측이 심각한 미달 범위(under-coverage)와 품절 위험을 초래함을 실증적으로 입증함으로써 신뢰할 수 있는 의사결정 지원을 위한 보정 인지형 인터페이스의 필요성을 검증한다.
본 논문은 정보 공간 내에서 인간의 의도를 직교 분해함으로써 물리적 운동감각 쌍둥체의 필요성을 제거하고, 이를 통해 다양한 로봇 형태에 걸친 제로샷 일반화를 달성하며, 물리적 힘 피드백이 직관적인 로봇 제어에 필수적이라는 오랜 믿음을 뒤엎는 운동학적 디커플링 제어 이론 기반의 비물질화 텔레오퍼레이션 프레임워크를 소개한다.
Cethraian-X는 NIH ChestX-ray14 데이터셋을 사용한 다중 레이블 흉부 엑스레이 분류를 위한 오픈 소스 기반의 누출 없는(leakage-clean) 벤치마크로, 향후 방법론들과의 투명한 비교를 가능하게 하기 위해 멀티 시드 평가, 보정 분석, 그리고 설명 가능성 도구를 통해 엄격한 재현성 표준을 확립합니다.
본 논문은 SHADOWAI-RISK 프로토타입 내에서 LangChain, LangGraph 및 LangSmith를 사용하여 LLM 기반 멀티 에이전트 시스템을 위한 시맨틱 트레이싱 프레임워크를 제시하며, 시맨틱 평가를 통합하는 것이 적절한 수준의 지연 시간 증가와 제로의 로컬 비용만을 발생시키면서 시맨틱 드리프트와 제약 조건 위반을 유의미하게 감소시킨다는 것을 입증한다.