Vijay Ganesh

2
papers
10
total citations

papers (2)

Can Transformers Reason Logically? A Study in SAT Solving

ICML 2025arXiv
10
citations

Grounding Neural Inference with Satisfiability Modulo Theories

NeurIPS 2023
0
citations