G2SAT: Learning to Generate SAT Formulas

Jiaxuan You, Haoze Wu, Clark Barrett, Raghuram Ramanujan, Jure Leskovec

Feb-14-2026, 13:30:44 GMT–Neural Information Processing Systems

In this work, wepresent G2SAT,thefirst deep generativeframework that learns to generate SAT formulas from a given set of input formulas.

formula, logic & formal reasoning, machine learning, (20 more...)

Neural Information Processing Systems

Feb-14-2026, 13:30:44 GMT

Conferences PDF

Country:
- North America
  - Canada > British Columbia
    - Metro Vancouver Regional District > Vancouver (0.04)
  - United States > California
    - Santa Clara County > Palo Alto (0.05)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (0.46)