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

README.md

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.

Run Inference on logic_reasoning

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