New ask Hacker News story: Why is there no AlphaZero for theorem proving?
Why is there no AlphaZero for theorem proving?
3 by hyperpallium2 | 1 comments on Hacker News.
It seems an obvious thing to try; therefore, it has been tried. Impressive results are publicized; therefore it wasn't impressive.
3 by hyperpallium2 | 1 comments on Hacker News.
It seems an obvious thing to try; therefore, it has been tried. Impressive results are publicized; therefore it wasn't impressive.
Comments
Post a Comment