Introduction
Statistics
Contact
Development
Disclaimer
Help
sdf.org home page
# [2021.07.05] A Complete Pipeline
Today, I finished a complete pipeline of a deep-learning automated
theorem prover. For now, it works with a neural network even worse
than without it. So, there is much space for improvement.