💻 컴퓨터 과학

The Refutation Gap: Certifying Both Halves of an Optimality Claim

본 논문은 GF(2) 상의 최소 선형 직선 프로그램(minimal linear straight-line programs)에 대한 최적성 주장(optimality claims)에 대한 DRAT 증명을 생성하고 검증하는 인증 파이프라인을 도입함으로써 프로그램 합성에서의 '반박 격차(refutation gap)'를 다루며, 이를 통해 121개의 기존 미인증 결과들을 공식적으로 검증하는 동시에 결정적인 검증 장애물과 자체 발견된 아티팩트들을 노출한다.

Rohan Pandey2026-10-06
💻 컴퓨터 과학

An Auditable Large Language Model Pipeline for Data Extraction in Systematic Literature Reviews

본 연구는 감사 가능한 대규모 언어 모델 파이프라인이 스크리닝 및 데이터 추출에서 인간 전문가와 높은 일치도를 달성함으로써 체계적 문헌 고찰을 효과적으로 지원할 수 있음을 입증하며, 특히 복잡한 분야에서 탁월한 성능을 보이는 동시에 보고되지 않은 정보에 관한 이진 질문(binary questions)에서 나타나는 특정 과제들을 강조한다.

Philipp André Macháček, Daniel Segelcke, Esther M. Pogatzki-Zahn, Bruno Pradier2026-10-06
💻 컴퓨터 과학

From Classification to Collection: A Multi-Task Deep Learning System for Automated Waste Sorting with Real-World Prototype Evaluation

이 논문은 네슬레(Nestlé) 및 다와르(Dawar)와의 협업을 통해 개발된 물리적 스마트 빈 프로토타입에 적용되어 실제 지역 데이터를 바탕으로 92.4%의 정확도를 달성한, 자동 폐기물 분류를 위해 네 개의 특화된 CNN 모델을 순차적 파이프라인으로 통합한 멀티태스크 딥러닝 시스템을 제시하며, 이는 엄격한 통계적 검증을 통해 검증되었다.

Omar Moustafa, Malak Elsayed, Nour Kahky, Noha Youssef2026-10-06
💻 컴퓨터 과학

Toward Risk-Aware Clinical Decision Support in Gastrointestinal Endoscopy: A Tunable Asymmetric Loss with Uncertainty-Guided Referral

본 연구는 고위험 및 전암 단계 사례의 에스컬레이션을 통해 안전성을 우선시하면서, 고성능 4단계 위험 계층화를 달ей하기 위해 조절 가능한 비대칭 손실 함수, 불확실성 유도형 리퍼럴 전략, 그리고 경량 아키텍처를 활용하는 위장관 내시경을 위한 위험 인지 딥러닝 프레임워크를 제안한다.

Azizur Rahman, Nakib Uddin Ahmed, Kadirur Rahman Chowdhury, Mehjabin Ferdous, J.S. Jannatun Nayema, Md. Shahadat Hossain (…)2026-10-06
💻 컴퓨터 과학

Machine Learning Based Intrusion Detection for Cloud Storage: An Empirical Evaluation of Signature and Random Forest Fusion

본 연구는 레이블이 지정되지 않은 Microsoft Azure 트레이스에 공격을 주입함으로써 클라우드 스토리지용 준합성 침입 탐지 프로토타입을 경험적으로 평가하며, 랜덤 포레스트 모델이 유용한 순위 신호를 제공하기는 하지만, 시간적 워크로드 드리프트 하에서의 불안정한 성능과 저속 공격(low-and-slow attacks)에 대한 낮은 탐지율은 해당 모델들이 아직 실제 운영 환경에 배포될 준비가 되지 않았음을 나타낸다는 점을 밝혀냈다.

Simon Usifoh, Olawale Olaniyi2026-10-06
💻 컴퓨터 과학

Cross-Dataset Generalization in Deepfake Detection: A Controlled Study of Spatial, Frequency, and Video-Level Baselines

이 통제된 연구는 다섯 개의 ImageNet 사전 학습된 RGB 백본과 두 개의 경량 프로브를 활용하여 딥페이크 탐지의 교차 데이터셋 일반화 성능을 평가하며, 소스 도메인 커버리지와 평가 프로토콜이 FaceForensics++, Celeb-DF, DFD 데이터셋 전반에 걸친 성능 격차를 해결하는 데 있어 백본 선택만큼이나 중요하다는 것을 밝혀낸다.

Samarth Kukreja2026-10-06
💻 컴퓨터 과학

Am I Still Coupled to My Environment? Task-agnostic Runtime Telemetry from the Reinforcement-learning Interaction Loop

이 논문은 표준적인 관측-행동 삼중항에서 유도된 상호작용 엔트로피와 결합 지표를 기반으로 하여, 배포된 강화학습 에이전트의 환경 디커플링 및 상호작용 드리프트를 탐지하기 위해 기존의 보상 기반 모니터링보다 우수한 결함 탐지 능력을 입증하는 보상 독립적 런타임 모니터링 프레임워크를 소개한다.

Wael Hafez, Chenan wei2026-10-06
💻 컴퓨터 과학

Lightweight Edge-Based Telemetry Parsing for Navigation Systems via Deterministic Spatial-Text (LODTE)

LODTE 프레임워크는 클라우드 의존성을 제거하고 지연 시간을 35밀리초 미만으로 줄이며 자원이 제한된 하드웨어에서 높은 인식 충실도를 유지하기 위해, 국소적 윤곽 기하학 필터와 고속 화면 캡처를 활용하여 실시간 내비게이션 텔레메트리를 파싱하는 경량화된 결정론적 엣지 기반 시스템을 도입한다.

Teody Banagan, Angie Ceniza-Canillo, Ronilo Librado, Jordan Parman2026-10-06
💻 컴퓨터 과학

Validation asymmetry in generative AI–generated clinical educational content: a scoping review

161개의 연구를 대상으로 한 이 범위 검토(scoping review)는 생성형 AI가 생성한 임상 교육 콘텐츠의 검증 과정에서, 연구가 재현적 충실도(representational fidelity)를 평가하는 데 압도적으로 우선순위를 두는 반면 인구통계학적 편향, 완화 전략 및 보고 재현성 평가는 크게 소홀히 하는 유의미한 검증 비대칭성을 드러낸다.

Carlos Lou, Eduardo Ttito2026-10-06