MLFMF: Data Sets for Machine Learning for Mathematical Formalization
–Neural Information Processing Systems
Each data set is derived from a library of formalized mathematics written in proof assistants Agda or Lean.
Neural Information Processing Systems
Oct-9-2025, 02:54:41 GMT
- Country:
- Europe
- Czechia > South Moravian Region
- Brno (0.04)
- France (0.04)
- Slovenia > Central Slovenia
- Municipality of Ljubljana > Ljubljana (0.05)
- Spain > Catalonia
- Barcelona Province > Barcelona (0.04)
- Czechia > South Moravian Region
- North America > United States
- California > Los Angeles County > Long Beach (0.14)
- Europe
- Technology: