Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: RL finds counterexamples to open problems in graph theory

Johan Commelin (May 15 2021 at 07:46):


Daniel Selsam (May 15 2021 at 14:36):

I am curious how important the RL/MLP component actually is in these results. It would be nice to see local-search baselines, i.e. considering local transformations in encoding space that improve the score, rather than nonlinearly warping the space with an MLP.

Last updated: Dec 20 2023 at 11:08 UTC