Affiliation:

Georgia Institute of Technology

An Exponential Separation between Deterministic CDCL and DPLL Solvers

KissatEvolve: Controllable and Scalable Synthesis of SAT Heuristics with Densely Annotated Memory Bank

Enhancing the Robustness of Counterfactual Explanations via Adversarial Training

ams-dist: A Scalable Distributed Hybrid Solver for Hard Combinatorial Problems

MIGSat: A Majority Inverter Graph SAT Solver

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings

Optimizing VNN Solver Configuration Selection using Large Language Models

Learning Unified Graph and Language Representations for SMT Algorithm Selection

KissatEvolve: Controllable and Scalable Synthesis of SAT Heuristics with Densely Annotated Memory Bank