vix.ing · top · new · best · stats · spec

Zhai, Haotian

  1. EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
    2025/02/20 by Haotian Zhai, Connor Lawless, Zhai, Haotian +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