# Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT

> Research article (Foundations and Trends® in Machine Learning, 2021) · cited 16× · AI/ML

**Wikidata**: [openalex:W3210841499](https://www.wikidata.org/wiki/openalex:W3210841499)  
**Source**: https://4ort.xyz/entity/machine-learning-for-automated-theorem-proving-learning-to-solve-sat-and-qsat