Vijay Ganesh
Vijay Ganesh
Affiliation: Georgia Institute of Technology
Talks
(LLM-Solve)
KissatEvolve: Controllable and Scalable Synthesis of SAT Heuristics with Densely Annotated Memory Bank · Session 4 - LLMs for Improving Solvers and Models
(PoS)
ams-dist: A Scalable Distributed Hybrid Solver for Hard Combinatorial Problems · Session 5: SAT Solver Technology
(PoS)
MIGSat: A Majority Inverter Graph SAT Solver · Session 5: SAT Solver Technology
(Soft)
Learning Unified Graph and Language Representations for SMT Algorithm Selection · Session 1
(ML4SP)
KissatEvolve: Controllable and Scalable Synthesis of SAT Heuristics with Densely Annotated Memory Bank · Paper talks 3
(SMT)
Learning Unified Graph and Language Representations for SMT Algorithm Selection · Learning, LLMs & Counting
(CP)
Learning Unified Graph and Language Representations for SMT Algorithm Selection · SMT
(SAT)
An Exponential Separation between Deterministic CDCL and DPLL Solvers · Session B: Proof Systems & Complexity
(SAIV)
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings · Contributed talk, short presentations, and case studies
(SAIV)
Optimizing VNN Solver Configuration Selection using Large Language Models · Contributed talk, short presentations, and case studies
(SAIV)
Enhancing the Robustness of Counterfactual Explanations via Adversarial Training · Contributed talks 2
Pages in this Program
Program
Program on Sunday, 19 July 2026
LLM-Solve on Sunday, 19 July 2026
LLM-Solve Program
PoS on Sunday, 19 July 2026
PoS Program
Program on Friday, 24 July 2026
Soft on Friday, 24 July 2026
Soft Program
Program on Saturday, 18 July 2026
ML4SP on Saturday, 18 July 2026
ML4SP Program
SMT on Friday, 24 July 2026
SMT Program
Program on Thursday, 23 July 2026
CP on Thursday, 23 July 2026
CP Program
Program on Monday, 20 July 2026
SAT on Monday, 20 July 2026
SAT Program
Program on Saturday, 25 July 2026
SAIV on Saturday, 25 July 2026
SAIV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑