MCPcopy Create free account
hub / github.com/Sphere-AI-Lab/FormalMATH-Bench / FoMA_Eval.py

File FoMA_Eval.py

FoMA_Eval.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1import argparse
2import logging
3import os
4import sys

Callers

nothing calls this directly

Calls 1

mainFunction · 0.70

Tested by

no test coverage detected