Siddharth Bhat

1. Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
   2024/04/09 by Shiven Sinha, Ameya Prabhu, Sinha, Shiven +7 · 2 voices · 2 citations
   #cs.AI #cs.CG #cs.CL #cs.LG
2. Verifying Peephole Rewriting In SSA Compiler IRs
   2024/07/04 by Siddharth Bhat, S. Bhat, Alex C. Keizer +10 · 1 voice · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.LO #cs.PL
3. Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
   2024/05/03 by Saikat Chakraborty, Gabriel Ebner, Chakraborty, Saikat +11 · 3 voices · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.AI #cs.PL #cs.SE