Something like this https://paperswithcode.com/task/automated-theorem-proving ?I’m surprised myself why Machine Learning is not digging more in formal proofs.
On the one hand, “playing” with formal logic, seems to be a source of unlimited “free” data to train the most general patterns and heuristics.
On the other, it may lead to AIs giving more accountable results, answers in the form of the proven reasoning instead of the “hunches”.
But formal proofs would require to work mostly with graph data, not texts.For some reason, ML proofs seems to not advance much since 2019 https://paperswithcode.com/sota/automated-theorem-proving-on-holist-benchmark
Something like this https://paperswithcode.com/task/automated-theorem-proving ?
I’m surprised myself why Machine Learning is not digging more in formal proofs.
On the one hand, “playing” with formal logic, seems to be a source of unlimited “free” data to train the most general patterns and heuristics.
On the other, it may lead to AIs giving more accountable results, answers in the form of the proven reasoning instead of the “hunches”.
But formal proofs would require to work mostly with graph data, not texts.
For some reason, ML proofs seems to not advance much since 2019 https://paperswithcode.com/sota/automated-theorem-proving-on-holist-benchmark