aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity
226 Commits 10 Branches 21 Tags 50 MiB
Commit Graph

15 Commits

Author SHA1 Message Date
Qi Liu f4cc21cc96 Async: implemented; MiniF2F: fixed 2024-12-13 06:15:52 +00:00
Leni Aniva 56fc11f831
fix: Experiments with new `load_sorry` 2024-12-11 17:32:07 -08:00
Leni Aniva 8196493258
feat: Handle exceptions in tactic generation 2024-10-11 22:51:20 -07:00
Leni Aniva 9fc035d466
fix: Filter invalid messages 2024-10-11 17:06:31 -07:00
Leni Aniva cd05b67c10
fix: Filter out val/test data 2024-10-09 18:23:21 -07:00
Leni Aniva 034fd458e3
chore: Update Pantograph and Lean version to 4.12 2024-10-06 22:04:10 -07:00
Leni Aniva 82d9f9200e
refactor: Pass in `informal_{stmt,proof}` directly 2024-10-04 18:45:13 -07:00
Leni Aniva 5b176795b2
doc: Diagnostics info at result 2024-10-04 18:04:10 -07:00
Leni Aniva 542784caa2
fix: Trailing comma in reply, remove simp fallback 2024-10-04 18:01:48 -07:00
Leni Aniva 2fae5e97f1
feat: Concise prompts and unhygienic mode 2024-10-04 17:55:32 -07:00
Leni Aniva 20f3011eb4
doc: Improve error message 2024-10-03 15:45:14 -07:00
Leni Aniva b440363105
fix: Skip the commented out test cases 2024-10-03 12:58:39 -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
Leni Aniva 95e90cc026
refactor: Experiments into their own folders 2024-10-01 11:06:01 -07:00