Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

68a1ae6

verified

ProCreations commited on 21 days ago