A neurally-guided, parallel theorem prover
We present a prototype of a neurally-guided automatic theorem prover for first-order logic
with equality. The prototype uses a neural network trained on previous proof search attempts …
with equality. The prototype uses a neural network trained on previous proof search attempts …
[图书][B] Applications of machine learning to automated reasoning
M Rawson - 2021 - search.proquest.com
Abstract Systems that can automate some aspects of logical reasoning are now very strong,
through years of theoretical and practical development. Some progress has been made to …
through years of theoretical and practical development. Some progress has been made to …