This is the repository of Group 60 for MIT 6.8610 final project.
conda create -n Math_LLM python=3.11
conda activate Math_LLM
pip install -r requirements.txt
Fill your keys to the list object keys
under the file API_call.py
.
Run the following command:
python decomposition.py
The results will be shown under ./out/decomp_result
, which will be needed to run the solver.
Run the following command:
python MathReg.py
Run the following command:
python IntelliCode.py
After running the experiments, you can find the resulting files under out
directory. Fill the paths into scripts/evaluate.py
(we have filled some examples) and run the following command:
python scripts/evaluate.py