Giters

dtunai / miniF2F-code

Dataset of formal Olympiad-level mathematics problems solved with Python code instructions.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

datasetinstruction

miniF2F-code

About

Dataset of formal Olympiad-level mathematics problems solved with Python code instructions.

datasetinstruction

Languages

Language:Shell 100.0%