Follow
Siddharth Bhat
Title
Cited by
Cited by
Year
Optimizing geometric multigrid method computation using a dsl approach
V Vasista, K Narasimhan, S Bhat, U Bondhugula
Proceedings of the International Conference for High Performance Computing …, 2017
72017
QSSA: an SSA-based IR for Quantum computing
A Peduri, S Bhat, T Grosser
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022
62022
Word Embeddings as Tuples of Feature Probabilities
MS Siddharth Bhat, Alok Debnath, Souvik Banerjee
Proceedings of the 5th Workshop on Representation Learning for NLP, 24-33, 2020
32020
Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
S Sinha, A Prabhu, P Kumaraguru, S Bhat, M Bethge
arXiv preprint arXiv:2404.06405, 2024
12024
Guided Equality Saturation
T Koehler, A Goens, S Bhat, T Grosser, P Trinder, M Steuwer
Proceedings of the ACM on Programming Languages 8 (POPL), 1727-1758, 2024
12024
Lambda the ultimate SSA: optimizing functional programs in SSA
S Bhat, T Grosser
2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022
12022
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
S Chakraborty, G Ebner, S Bhat, S Fakhoury, S Fatima, S Lahiri, N Swamy
arXiv preprint arXiv:2405.01787, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–7