4 ms·
You could even train it with random theorem expressions run through a conventional theorem prover. And then let it loose on the problems that are left.
by Will_Parker 9y ago
You could even train it with random theorem expressions run through a conventional theorem prover. And then let it loose on the problems that are left.