Engel Nyst eeb2342509 Refactor history/event stream (#3808)		1 an în urmă
..
.cache_program	243cb492aa Run pre-commit on all files (#3884)	1 an în urmă
scripts	50c13aad98 [Eval] Improve SWE-Bench Eval harness: multi-run support & entry script simplification (#4396)	1 an în urmă
Dockerfile	152f99c64f Chore Bump python version (#3545)	1 an în urmă
README.md	31b244f95e [Refactor, Evaluation] Refactor and clean up evaluation harness to remove global config and use EventStreamRuntime (#3230)	1 an în urmă
__init__.py	a9823491e6 Support Logic Reasoning Benchmark (#1973)	1 an în urmă
instruction.txt	31b244f95e [Refactor, Evaluation] Refactor and clean up evaluation harness to remove global config and use EventStreamRuntime (#3230)	1 an în urmă
logic_inference.py	31b244f95e [Refactor, Evaluation] Refactor and clean up evaluation harness to remove global config and use EventStreamRuntime (#3230)	1 an în urmă
run_infer.py	eeb2342509 Refactor history/event stream (#3808)	1 an în urmă

Logic Reasoning Evaluation

This folder contains evaluation harness for evaluating agents on the logic reasoning benchmark ProntoQA and ProofWriter.

Setup Environment and LLM Configuration

Please follow instruction here to setup your local development environment and LLM.

The following code will run inference on the first example of the ProofWriter dataset,

./evaluation/logic_reasoning/scripts/run_infer.sh eval_gpt4_1106_preview_llm ProofWriter