α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Vijay Ganesh
Vijay Ganesh
2
papers
11
total citations
papers (2)
Can Transformers Reason Logically? A Study in SAT Solving
ICML 2025
arXiv
11
citations
Grounding Neural Inference with Satisfiability Modulo Theories
NEURIPS 2023
0
citations