Machine learning and logic: a new frontier in artificial intelligence

DOI10.1007/s10703-023-00430-1MaRDI QIDQ6056641

Vijay Ganesh, Sanjit A. Seshia, Somesh Jha

Publication date: 30 October 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

combinations of learning and reasoninglearning for solverslearning for verification and synthesissolver layers in deep neural networks

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the power of clause-learning SAT solvers as resolution engines
• ``Neural computation of decisions in optimization problems
• Machine learning-based restart policy for CDCL SAT solvers
• A theory of formal synthesis via inductive learning
• Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 -- April 1, 2021. Proceedings. Part II
• SAT competition 2020
• MedleySolver: online SMT algorithm selection
• Inductive logic programming at 30
• Satisfiability and synthesis modulo oracles
• Queries and concept learning
• On the effect of learned clauses on stochastic local search
• Learning Rate Based Branching Heuristic for SAT Solvers
• Modeling for Verification
• Counterexample-guided abstraction refinement for symbolic model checking
• Logical and Relational Learning
• A Deductive Approach to Program Synthesis
• Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
• Neuro-symbolic artificial intelligence
• Theory and Applications of Satisfiability Testing
• A machine program for theorem-proving
• The complexity of theorem-proving procedures
• Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
• Bounded model checking using satisfiability solving
• Counterexample guided inductive synthesis modulo theories

This page was built for publication: Machine learning and logic: a new frontier in artificial intelligence