FoSeRL: Formal Sequential Robustness Certification for Reinforcement Learning PoliciesResearchOct 6, 2026
Hallucination Across the Reasoning Lifecycle: Interface Visibility, Causal Evidence, and Release Control in Large Reasoning ModelsResearchOct 6, 2026
Differentiable Bit-Widths: Co-optimizing Pruning and Quantization via SVD for Ultra-Efficient LLM CompressionResearchOct 6, 2026
DASH: Fast, Valid Counterfactuals for Deep Networks via Batched Directional SearchResearchOct 6, 2026
Cross-Lingual Transferability of Training Data Extraction Attacks to Recover Memorized PIIResearchOct 6, 2026
From Traces to Agentic Worlds: Agentic Language World Models for Interactive Environment SimulationResearchOct 6, 2026