arXiv:2609.26839v1 Announce Type: cross Abstract: Post-hoc probability calibration is usually evaluated under an optimistic assumption: the held-out…
Category: AI
A Leakage-Aware Multimodal Evaluation Framework for Early Intraoperative Acute Kidney Injury Prediction
arXiv:2609.26848v1 Announce Type: cross Abstract: Postoperative acute kidney injury (AKI) after major non-cardiac surgery carries substantial morbidity,…
Validation and Simulation Catch Different Errors: Four Levels of Evaluation for LLM-Generated Circuits
arXiv:2609.26830v1 Announce Type: cross Abstract: Simulation success is not equivalent to structural correctness for LLM-generated circuits. We define and…
Spec2COBOLRot: An Agentic-AI Degradation Loop for Realistic COBOL Corpus Generation
arXiv:2609.26835v1 Announce Type: cross Abstract: COBOL remains widely deployed, yet representative corpora reflecting real production code are rarely…
COPE: Continual Personalization of LLMs under Sparse User Feedback via User Embeddings and Self-Evaluation
arXiv:2609.26853v1 Announce Type: cross Abstract: While Large Language Models (LLMs) have achieved remarkable results across various benchmarks, their…
What Makes a Terminal-Bench Task Hard? Separating Genuine Hardness from Fake-Hardness on an Adjudicated Agentic Corpus
arXiv:2609.26826v1 Announce Type: cross Abstract: Frontier benchmarks need tasks that current models cannot solve. But a task that no model solves is not…
G\”odel’s and Scott’s Variants of the Ontological Argument in Lean 4
arXiv:2609.26806v1 Announce Type: cross Abstract: This paper presents a complete, structure-preserving port to Lean 4 of the Isabelle/HOL dataset…
Learning Stiffness Dependent Fluid Structure Dynamics from Coarse Flow Representations
arXiv:2609.26816v1 Announce Type: cross Abstract: This paper develops a data-driven framework for long-term prediction of fluid–structure interaction…
Bridging LLM Serving and CXL-SSDs with Chunk-Aware KV Cache Management
arXiv:2609.26828v1 Announce Type: cross Abstract: NAND-backed storage offers the capacity needed to scale LLM prefix caching, but its block I/O path…
Signal2Symbol: Neuro-Symbolic Temporal Reasoning for Explainable Physiological Time-Series Anomaly Detection
arXiv:2609.26820v1 Announce Type: cross Abstract: Physiological time series such as electrocardiograms (ECG) and electroencephalograms (EEG) exhibit…