ShortageSim: Simulating Drug Shortages under Information Asymmetry Paper • 2509.01813 • Published Sep 1, 2025
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes Paper • 2501.00200 • Published Dec 31, 2024
DR-SAC: Distributionally Robust Soft Actor-Critic for Reinforcement Learning under Uncertainty Paper • 2506.12622 • Published Jun 14, 2025
Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification Paper • 2512.11087 • Published Dec 11, 2025
Saffron-1: Towards an Inference Scaling Paradigm for LLM Safety Assurance Paper • 2506.06444 • Published Jun 6, 2025 • 73
AlphaOne: Reasoning Models Thinking Slow and Fast at Test Time Paper • 2505.24863 • Published May 30, 2025 • 97