20 Commits

Author	SHA1	Message	Date
Leni Aniva	035dd492d1	fix: Missing flags	2025-01-10 17:07:35 -08:00
Leni Aniva	dd6efc8485	fix: Doc building in poetry	2024-10-18 15:27:57 -07:00
Leni Aniva	7d4ee57c15	doc: Documentation stub	2024-10-17 21:03:18 -07:00
Leni Aniva	8c22ce09e7	feat: Plot generation for DSP	2024-10-08 19:20:57 -07:00
Leni Aniva	0ab29e11cd	Merge branch 'experiments/dsp' into experiments/minif2f	2024-10-05 01:05:25 -07:00
Leni Aniva	9fd930380d	feat: Hammer agent for DSP, diagnostics	2024-10-04 18:36:52 -07:00
Leni Aniva	2fae5e97f1	feat: Concise prompts and unhygienic mode	2024-10-04 17:55:32 -07:00
Leni Aniva	a30225069a	refactor: All MiniF2F into its own directory	2024-10-03 12:53:07 -07:00
Leni Aniva	e942359666	fix: Absolute directories in experiments ... doc: Add documentation about API key	2024-10-01 11:34:30 -07:00
Brando Miranda	0d278e1343	Merge branch 'main' into brando	2024-09-26 19:26:59 -07:00
Leni Aniva	6f4c26ecee	Merge branch 'frontend/collect-holes' into search	2024-09-13 17:14:20 -07:00
Brando Miranda	65dcaa2ea5	pushing dsp to my branch	2024-07-11 15:49:37 -07:00
Leni Aniva	695374a3e4	feat: Example Jupyter notebook	2024-07-01 12:18:00 -07:00
Chuyue Sun	20301d53ae	wip	2024-06-05 03:52:43 -07:00
Brando Miranda	4776e559fa	Merge remote-tracking branch 'origin/main' into brando	2024-05-31 19:00:30 -07:00
Leni Aniva	775e30a80f	feat: Extraction of tactic invocations	2024-05-28 20:36:04 -07:00
ChuyueSun	d973c9e300	support py3.10	2024-05-21 22:15:45 -07:00
Brando Miranda	827eb57c79	instructions for using this with poetry	2024-04-29 18:30:50 -07:00
Leni Aniva	1905b56862	feat: System stub	2024-04-19 16:47:35 -07:00
Leni Aniva	45e2daa4fb	build: Add poetry stub	2024-04-11 16:38:44 -07:00