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