ACL2(ml): Machine-Learning for ACL2 — mentioned by zitterbewegung

Mon, 23 Nov 2015 18:46:51 GMT

For mechanical theorem proving there is ACL2 which integrates machine learning into the system. See http://arxiv.org/abs/1404.3034 also Coq has machine learning add ons http://arxiv.org/abs/1410.5467

Paper and discussion history. A mention is not an endorsement.

ACL2(ml): Machine-Learning for ACL2 · HackerPapers discussions

ACL2(ml): Machine-Learning for ACL2 — mentioned by zitterbewegung