GitHub repository: simunili/miniF2F-code
Created: 2024-01-13T13:48:33Z
Description: Dataset of formal Olympiad-level mathematics problems solved with Python code instructions.