FormalML benchmark

Stream: Machine Learning for Theorem Proving

[Pawan sasanka ammanamanchi]

Pretty cool benchmark for evaluating subgoal completion in ML theory: FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
image.png