purewhite42/formal_problem_solving_main

Dataset Card for Formal Problem-Solving Benchmarks This dataset is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving, accepted as an ICML 2026 Spotlight paper. Links: Paper: https://openreview.net/forum?id=hgMZraPlSv Project: https://github.com/Purewhite2019/formal_problem_solving_main Overview The benchmark supports three evaluation settings: Formal Problem-Solving (FPS): Given a… See the full description on the dataset page: https://huggingface.co/datasets/purewhite42/formal_problem_solving_main.