Math (formal language)¶
More details are coming soon!
Supported benchmarks¶
minif2f¶
- Benchmark is defined in
nemo_skills/dataset/minif2f/__init__.py - Original benchmark source is here.
mobench¶
- Benchmark is defined in
nemo_skills/dataset/mobench/__init__.py - Original benchmark source is here.
putnam-bench¶
- Benchmark is defined in
nemo_skills/dataset/putnam-bench/__init__.py - Original benchmark source is here.
proofnet¶
- Benchmark is defined in
nemo_skills/dataset/proofnet/__init__.py - Original benchmark source is here.