Mo Hai

1. CASP: Learning-Augmented Offline Approximation with Verifiable Certificates and Bounded-Loss PAC Guarantees
   2026/07/16 by Haifeng Li, Mo Hai
   #cs.LG
2. Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
   2026/07/18 by Haifeng Li, Mo Hai
   #cs.SE #cs.AI
3. State-dependent error correlations shape voting thresholds in committees of AI agents
   2026/07/27 by Haifeng Li, Mo Hai
   #cs.CY