From 27599f7fad7617adc305045aeda5ad3cf1761746 Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Wed, 5 Jun 2024 15:23:18 -0700 Subject: [PATCH] feat: Set lower parameters for search --- examples_search/miniF2F_search.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples_search/miniF2F_search.py b/examples_search/miniF2F_search.py index 8afc453..4849c96 100755 --- a/examples_search/miniF2F_search.py +++ b/examples_search/miniF2F_search.py @@ -77,8 +77,8 @@ if __name__ == '__main__': parser.add_argument('--use-hammer', action='store_true') parser.add_argument('--validation', action='store_true') parser.add_argument('--use-llm', action='store_true') - parser.add_argument('-s', '--max-steps', default=200) - parser.add_argument('-t', '--max-trials-per-goal', default=4) + parser.add_argument('-s', '--max-steps', default=50) + parser.add_argument('-t', '--max-trials-per-goal', default=2) args = parser.parse_args() project_path, lean_path = get_project_and_lean_path()