purewhite42/

formal_problem_solving_main

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

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.