Ahuja, Riyaz
- ImProver: Agent-Based Automated Proof Optimization
2024/10/07 by Riyaz Ahuja, Ahuja, Riyaz, Jeremy Avigad +5 · 1 citation
Computer Science · Engineering · Mathematics · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Modeling, Simulation, and Optimization #Multi-Agent Systems and Negotiation #Scheduling and Optimization Algorithms