Learning to Solve SMT Formulas

Mislav Balunovic, Pavol Bielik, Martin Vechev

Nov-17-2025, 21:03:31 GMT–Neural Information Processing Systems

We present a new approach for learning to solve SMT formulas. We phrase the challenge of solving SMT formulas as a tree search problem where at each step a transformation is applied to the input formula until the formula is solved.

formula, machine learning, natural language, (19 more...)

Neural Information Processing Systems

Nov-17-2025, 21:03:31 GMT

Conferences PDF

Add feedback

Country:
- Europe
  - Germany > Saxony
    - Leipzig (0.05)
  - Switzerland > Zürich
    - Zürich (0.14)
- North America > Canada
  - Quebec > Montreal (0.04)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.46)
  - Natural Language (1.00)
  - Representation & Reasoning > Search (1.00)

Duplicate Docs Excel Report

Title
Learning to Solve SMT Formulas
Learning to Solve SMT Formulas

Similar Docs Excel Report more

Title	Similarity	Source
None found