Vijay Ganesh
Professor
Combines machine learning with automated reasoning in SAT/SMT solvers and applies them to software, security and scientific discovery.
Vijay Ganesh's lab at Georgia Tech works on trustworthy & safe ML, reasoning & neuro-symbolic AI and reasoning & agents. 38 papers since 2023, 14 at top venues, mostly AAAI and IJCAI. 12 PhD students and 10 master's students. 47 alumni, most often to Amazon and NVIDIA. Applications close .
At a glance
- papers, 2023–2026
- 10/ year
- at T1 venues
- 37%
- PhD students
- 12
- MS students
- 10
- alumni listed
- 47
Papers by yearfrom DBLP, 2023–2026
- 9 papers2026 · T1 2 · collecting
- 10 papers2025 · T1 4
- 9 papers2024 · T1 5
- 10 papers2023 · T1 3
T1 venuesOtherVenues: AAAI, IJCAI, ICLR, ICML, Journal of Artificial Intelligence Research
Research focuspaper titles that use each topic's words
- Reasoning & neuro-symbolic AI2 papers
- solvers2 papers
- Trustworthy & safe ML0 papers
- Reasoning & agents0 papers
- combines machine0 papers
Paper list
From DBLP.
20269 papers
- SATAn Exponential Separation Between Deterministic CDCL and DPLL Solvers (opens in a new tab)
- SAIVEnhancing the Robustness of Counterfactual Explanations via Adversarial Training (opens in a new tab)
- Log. Methods Comput. Sci.Extended Resolution Clause Learning via Dual Implication Points (opens in a new tab)
- ICLR (T1)Learning Data-Efficient and Generalizable Neural Operators via Fundamental Physics Knowledge (opens in a new tab)
- FoIKSLearning SMT Algorithm Selection with High-Level Natural-Language Descriptions (opens in a new tab)
- CPLearning Unified Graph and Language Representations for SMT Algorithm Selection (opens in a new tab)
- SIGCSELLMTutorBench: A Benchmark for University-level TCS AI Tutoring Systems (opens in a new tab)
- ICLR (T1)ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings (opens in a new tab)
- CICMSemantic Alignment Models: A Bridge Between Informal and Formal Mathematics (opens in a new tab)
202510 papers
- AAAI (T1)Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract) (opens in a new tab)
- CAVBtor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking (opens in a new tab)
- ICML (T1)Can Transformers Reason Logically? A Study in SAT Solving (opens in a new tab)
- MARBLEGasGuard: An LLM-Based Automated Gas Vulnerability Detection and Mitigation System (opens in a new tab)
- Journal of Artificial Intelligence ResearchImproving and Understanding the Power of Satisfaction-Driven Clause Learning (opens in a new tab)
- AAAI (T1)LLM Stinger: Jailbreaking LLMs Using RL Fine-Tuned LLMs (Student Abstract) (opens in a new tab)
- Acta InformaticaNovel tree-search method for synthesizing SMT strategies (opens in a new tab)
- ECAIRLSF: Fine-tuning LLMs via Symbolic Feedback (opens in a new tab)
- Euro-ParRobustness of Deep Learning Classification to Adversarial Input on GPUs: Asynchronous Parallel Accumulation Is a Source of Vulnerability (opens in a new tab)
- IJCAI (T1)Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems (opens in a new tab)
20249 papers
- Theory Comput. Syst.A Closer Look at the Expressive Power of Logics Based on Word Equations (opens in a new tab)
- AAAI (T1)A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) (opens in a new tab)
- IJCAI (T1)A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem (opens in a new tab)
- AAAI (T1)A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) (opens in a new tab)
- MARBLEAdChain: Decentralized Header Bidding (opens in a new tab)
- AAAI (T1)BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract) (opens in a new tab)
- ECAICoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution (opens in a new tab)
- BlockchainCountChain: A Decentralized Oracle Network for Counting Systems (opens in a new tab)
- IJCAI (T1)Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis (opens in a new tab)
202310 papers
- Int. J. Softw. Tools Technol. Transf.Algorithm selection for SMT (opens in a new tab)
- Bull. EATCSFormal Languages via Theories over Strings: An Overview of Some Recent Results (opens in a new tab)
- NeurIPS (T1)Grounding Neural Inference with Satisfiability Modulo Theories (opens in a new tab)
- SATLearning Shorter Redundant Clauses in SDCL Using MaxSAT (opens in a new tab)
- SATLimits of CDCL Learning via Merge Resolution (opens in a new tab)
- PACMPL (T1)On the Expressive Power of String Constraints (opens in a new tab)
- VSTTEPierce: A Testing Tool for Neural Network Verification Solvers (opens in a new tab)
- Int. J. Softw. Tools Technol. Transf.Publisher Correction: Algorithm selection for SMT (opens in a new tab)
- AAAI (T1)Robust Training for AC-OPF (Student Abstract) (opens in a new tab)
- Theor. Comput. Sci.Towards more efficient methods for solving regular-expression heavy string constraints (opens in a new tab)
Where alumni went47 listed, 70% to industry
Industry 32Academia 14
Most often to
- Amazon
- NVIDIA
- Fintech startup
Also to
- ACE Engineering College
- Illinois Institute of Technology
- Institute for Quantum Computing
Apply to Georgia TechFall 2027
Georgia Tech Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- optional
- English
- TOEFL/IELTS
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CNSJTU
Gaolei Li
- Trustworthy & safe ML
- USUIUC
Han Zhao
- Trustworthy & safe ML
- USGeorgia Tech
Faramarz Fekri
- Reasoning & neuro-symbolic AI
- USStanford
Sanmi Koyejo
- Trustworthy & safe ML
- USMichigan
Joyce Chai
- Multimodal & grounded language
- SGNTU
Han Yu
- Trustworthy & safe ML
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- DBLP
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Georgia Techcloses