Haotian Zhai
- EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
2025/02/20 by Haotian Zhai, Zhai, Haotian, Connor Lawless +5 · 1 voice · 3 citations
Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Machine Learning (cs.LG) #Optimization and Control (math.OC) #cs.AI #cs.LG #math.OC
- Parallel Cascaded Recursive Filtering on Multi-Core CPUs and GPUs
2026/07/26 by Haotian Zhai, Bernd-Peter Paris
#eess.SP #cs.DC