Holophrasm

MaRDI QIDQ41838swMATHFDO

Official website https://arxiv.org/abs/1608.02644

Cited in

(6)

• Guiding high-performance SAT solvers with unsat-core predictions
• Deep network guided proof search
• Machine learning guidance for connection tableaux
• Proofwatch
• GamePad
• RobustFill

This page was built for software: Holophrasm