├── LICENSE ├── README.md ├── data ├── gsm8k │ ├── reasoning_annotated_test.jsonl │ ├── test.jsonl │ └── train.sample-200.jsonl ├── prontoqa │ ├── dev.json │ └── dev.sampled-100.json └── proofwriter │ └── meta-test.shuffled.json ├── requirements.txt └── src ├── __init__.py ├── build_prompt.py ├── data.py ├── evaluate.py ├── individual_prologging.py ├── llama_utils.py ├── llm_prompts_related ├── __init__.py ├── icl_demonstrations │ ├── gsm8k │ │ ├── cot_1.txt │ │ ├── cot_10.txt │ │ ├── cot_2.txt │ │ ├── cot_3.txt │ │ ├── cot_4.txt │ │ ├── cot_5.txt │ │ ├── cot_6.txt │ │ ├── cot_7.txt │ │ ├── cot_8.txt │ │ ├── cot_9.txt │ │ ├── problem_1.txt │ │ ├── problem_10.txt │ │ ├── problem_2.txt │ │ ├── problem_3.txt │ │ ├── problem_4.txt │ │ ├── problem_5.txt │ │ ├── problem_6.txt │ │ ├── problem_7.txt │ │ ├── problem_8.txt │ │ ├── problem_9.txt │ │ ├── prolog_1.pl │ │ ├── prolog_10.pl │ │ ├── prolog_2.pl │ │ ├── prolog_3.pl │ │ ├── prolog_4.pl │ │ ├── prolog_5.pl │ │ ├── prolog_6.pl │ │ ├── prolog_7.pl │ │ ├── prolog_8.pl │ │ ├── prolog_9.pl │ │ ├── prolog_cot_1.txt │ │ ├── prolog_cot_10.txt │ │ ├── prolog_cot_2.txt │ │ ├── prolog_cot_3.txt │ │ ├── prolog_cot_4.txt │ │ ├── prolog_cot_5.txt │ │ ├── prolog_cot_6.txt │ │ ├── prolog_cot_7.txt │ │ ├── prolog_cot_8.txt │ │ └── prolog_cot_9.txt │ ├── prontoqa │ │ ├── cot_1.txt │ │ ├── cot_2.txt │ │ ├── problem_1.txt │ │ ├── problem_2.txt │ │ ├── prolog_1.pl │ │ └── prolog_2.pl │ └── proofwriter │ │ ├── cot_1.txt │ │ ├── cot_2.txt │ │ ├── cot_3.txt │ │ ├── problem_1.txt │ │ ├── problem_2.txt │ │ ├── problem_3.txt │ │ ├── prolog_1.pl │ │ ├── prolog_2.pl │ │ └── prolog_3.pl └── prompt_templates │ ├── __init__.py │ ├── template_gsm8k.py │ ├── template_prontoqa.py │ └── template_proofwriter.py ├── run_generation.py ├── scripts ├── run_gsm8k.sh ├── run_prontoqa.sh └── run_proofwriter.sh └── tasks ├── __init__.py ├── gsm8k ├── __init__.py ├── call_swipl.py ├── evaluate.py ├── meta_interpreter.pl └── parse_proof_pred.py ├── prontoqa ├── __init__.py ├── call_swipl.py ├── evaluate.py └── meta_interpreter.pl └── proofwriter ├── __init__.py ├── call_swipl.py ├── evaluate.py ├── meta_interpreter.pl ├── parse_proof_gold.py └── parse_proof_pred.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/README.md -------------------------------------------------------------------------------- /data/gsm8k/reasoning_annotated_test.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/data/gsm8k/reasoning_annotated_test.jsonl -------------------------------------------------------------------------------- /data/gsm8k/test.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/data/gsm8k/test.jsonl -------------------------------------------------------------------------------- /data/gsm8k/train.sample-200.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/data/gsm8k/train.sample-200.jsonl -------------------------------------------------------------------------------- /data/prontoqa/dev.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/data/prontoqa/dev.json -------------------------------------------------------------------------------- /data/prontoqa/dev.sampled-100.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/data/prontoqa/dev.sampled-100.json -------------------------------------------------------------------------------- /data/proofwriter/meta-test.shuffled.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/data/proofwriter/meta-test.shuffled.json -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/requirements.txt -------------------------------------------------------------------------------- /src/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/__init__.py -------------------------------------------------------------------------------- /src/build_prompt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/build_prompt.py -------------------------------------------------------------------------------- /src/data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/data.py -------------------------------------------------------------------------------- /src/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/evaluate.py -------------------------------------------------------------------------------- /src/individual_prologging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/individual_prologging.py -------------------------------------------------------------------------------- /src/llama_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llama_utils.py -------------------------------------------------------------------------------- /src/llm_prompts_related/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_1.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_10.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_2.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_3.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_4.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_5.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_6.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_7.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_8.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/cot_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/cot_9.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_1.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_10.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_2.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_3.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_4.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_5.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_6.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_7.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_8.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/problem_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/problem_9.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_1.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_10.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_10.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_2.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_3.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_4.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_5.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_6.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_6.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_7.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_7.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_8.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_8.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_9.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_9.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_1.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_10.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_2.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_3.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_4.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_5.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_6.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_7.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_8.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/gsm8k/prolog_cot_9.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/prontoqa/cot_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/prontoqa/cot_1.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/prontoqa/cot_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/prontoqa/cot_2.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/prontoqa/problem_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/prontoqa/problem_1.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/prontoqa/problem_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/prontoqa/problem_2.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/prontoqa/prolog_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/prontoqa/prolog_1.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/prontoqa/prolog_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/prontoqa/prolog_2.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/cot_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/cot_1.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/cot_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/cot_2.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/cot_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/cot_3.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/problem_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/problem_1.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/problem_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/problem_2.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/problem_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/problem_3.txt -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/prolog_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/prolog_1.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/prolog_2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/prolog_2.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/icl_demonstrations/proofwriter/prolog_3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/icl_demonstrations/proofwriter/prolog_3.pl -------------------------------------------------------------------------------- /src/llm_prompts_related/prompt_templates/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/llm_prompts_related/prompt_templates/template_gsm8k.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/prompt_templates/template_gsm8k.py -------------------------------------------------------------------------------- /src/llm_prompts_related/prompt_templates/template_prontoqa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/prompt_templates/template_prontoqa.py -------------------------------------------------------------------------------- /src/llm_prompts_related/prompt_templates/template_proofwriter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/llm_prompts_related/prompt_templates/template_proofwriter.py -------------------------------------------------------------------------------- /src/run_generation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/run_generation.py -------------------------------------------------------------------------------- /src/scripts/run_gsm8k.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/scripts/run_gsm8k.sh -------------------------------------------------------------------------------- /src/scripts/run_prontoqa.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/scripts/run_prontoqa.sh -------------------------------------------------------------------------------- /src/scripts/run_proofwriter.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/scripts/run_proofwriter.sh -------------------------------------------------------------------------------- /src/tasks/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tasks/gsm8k/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tasks/gsm8k/call_swipl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/gsm8k/call_swipl.py -------------------------------------------------------------------------------- /src/tasks/gsm8k/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/gsm8k/evaluate.py -------------------------------------------------------------------------------- /src/tasks/gsm8k/meta_interpreter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/gsm8k/meta_interpreter.pl -------------------------------------------------------------------------------- /src/tasks/gsm8k/parse_proof_pred.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/gsm8k/parse_proof_pred.py -------------------------------------------------------------------------------- /src/tasks/prontoqa/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tasks/prontoqa/call_swipl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/prontoqa/call_swipl.py -------------------------------------------------------------------------------- /src/tasks/prontoqa/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/prontoqa/evaluate.py -------------------------------------------------------------------------------- /src/tasks/prontoqa/meta_interpreter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/prontoqa/meta_interpreter.pl -------------------------------------------------------------------------------- /src/tasks/proofwriter/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/tasks/proofwriter/call_swipl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/proofwriter/call_swipl.py -------------------------------------------------------------------------------- /src/tasks/proofwriter/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/proofwriter/evaluate.py -------------------------------------------------------------------------------- /src/tasks/proofwriter/meta_interpreter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/proofwriter/meta_interpreter.pl -------------------------------------------------------------------------------- /src/tasks/proofwriter/parse_proof_gold.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/proofwriter/parse_proof_gold.py -------------------------------------------------------------------------------- /src/tasks/proofwriter/parse_proof_pred.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DAMO-NLP-SG/CaRing/HEAD/src/tasks/proofwriter/parse_proof_pred.py --------------------------------------------------------------------------------