aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

feat: Set lower parameters for search

This commit is contained in:
Leni Aniva 2024-06-05 15:23:18 -07:00
parent 20b19c8e6c
commit 27599f7fad
Signed by: aniva
GPG Key ID: 4D9B1C8D10EA4C50
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples_search/miniF2F_search.py
View File

@ -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()