Siddharth Bhat

According to our database, Siddharth Bhat authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Guided Equality Saturation.

Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer

Proc. ACM Program. Lang., January, 2024

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy

CoRR, 2024

Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry.

Shiven Sinha, Ameya Prabhu, Ponnurangam Kumaraguru, Siddharth Bhat, Matthias Bethge

CoRR, 2024

Transforming Optimization Problems into Disciplined Convex Programming Form.

Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

Verifying Peephole Rewriting in SSA Compiler IRs.

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.

Siddharth Bhat, Tobias Grosser

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

QSSA: an SSA-based IR for Quantum computing.

Anurudh Peduri, Siddharth Bhat, Tobias Grosser

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

QSSA: An SSA-based IR for Quantum Computing.

Anurudh Peduri, Siddharth Bhat

CoRR, 2021

2020

Word Embeddings as Tuples of Feature Probabilities.

Siddharth Bhat, Alok Debnath, Souvik Banerjee, Manish Shrivastava

Proceedings of the 5th Workshop on Representation Learning for NLP, 2020

2017

Optimizing geometric multigrid method computation using a DSL approach.

Vinay Vasista, Kumudha Narasimhan, Siddharth Bhat, Uday Bondhugula

Proceedings of the International Conference for High Performance Computing, 2017