experiment: Proof search function from llemma_formal2formal#6

Draft

slimtune2023 wants to merge 3 commits into

stanford-centaur:brandofrom

slimtune2023:brando

Commits on May 30, 2024

Added proof_search.py based on llemma_formal2formal proof search method
slimtune2023
committed
Added respective datasets used in testing proof search function
slimtune2023
committed
Added output of proof search function on test dataset
slimtune2023
committed