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