Holophrasm

swMATH30124MaRDI QIDQ41838FDOQ41838

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Holophrasm