Formal-Math-Reasoning

community

https://formal-math-reasoning.github.io

Formal-Math-Reasoning

AI & ML interests

None defined yet.

models 1

Formal-Math-Reasoning/DRIFT-dpr-mathlib

0.6B • Updated Feb 9 • 7 • 1

datasets 2

Formal-Math-Reasoning/TopoAlign_Python

Viewer • Updated Feb 5 • 251k • 33 • 1

Formal-Math-Reasoning/ConjectureBench

Viewer • Updated Feb 5 • 457 • 42 • 1