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

226 Commits

Author SHA1 Message Date
Leni Aniva 5379b0abe2
fix: Install elan in pipeline 2024-10-18 15:30:12 -07:00
Leni Aniva dd6efc8485
fix: Doc building in poetry 2024-10-18 15:27:57 -07:00
Leni Aniva 39b9e0736a
doc: Stub on setup and drafting 2024-10-18 15:19:58 -07:00
Leni Aniva 9fe5a557f2
fix: Docs branch name 2024-10-18 14:57:30 -07:00
Leni Aniva c22d4a8d45
Merge branch 'main' into doc/main 2024-10-18 14:56:26 -07:00
Leni Aniva 9a8d90880a
fix: Install jupyter book dependency 2024-10-18 14:56:08 -07:00
Leni Aniva 494842629b
Merge pull request #31 from lenianiva/doc/main 
doc: Documentation with jupyter-book
 2024-10-18 14:54:39 -07:00
Leni Aniva 18872dc0ec
feat: GitHub workflow for documentations 2024-10-18 14:48:54 -07:00
Leni Aniva d39f501d4b
feat: Generate API docs 2024-10-17 21:36:53 -07:00
Leni Aniva 8dd59bb891
doc: Build instructions 2024-10-17 21:28:23 -07:00
Leni Aniva 7d4ee57c15
doc: Documentation stub 2024-10-17 21:03:18 -07:00
Leni Aniva 143f2ed7d5
doc: Remove stale documentation (#28) 
* fix: Remove stale documentation

* doc: Fix git command

* fix: Submodule origin
 2024-10-17 11:44:48 -04:00
Leni Aniva 8585e3dd9e
Merge pull request #24 from lenianiva/experiments/minif2f 
experiment: MiniF2F speedup
 2024-10-13 19:21:16 -07:00
Leni Aniva 94604086ef chore: Update origin to GitHub Pantograph, with bug fixes 2024-10-13 12:24:04 -07:00
Leni Aniva 13c15bc9d1 feat: Implement TacticLet, TacticExpr 2024-10-12 16:59:52 -07:00
Leni Aniva bc512a6ae2
Merge pull request #21 from lenianiva/experiments/dsp 
experiment: DSP with GPT-4o and o1-preview
 2024-10-12 15:51:26 -07: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 9aec0229ab
Merge pull request #23 from lenianiva/misc/version 
chore: Update Pantograph to v0.2.19
 2024-10-10 11:13:03 -07:00
Leni Aniva c7eee7eee0
Merge branch 'misc/version' into experiments/dsp 2024-10-10 11:12:15 -07:00
Leni Aniva cd05b67c10
fix: Filter out val/test data 2024-10-09 18:23:21 -07:00
Leni Aniva 68cb408a27
Update upstream to v0.2.19-alpha 2024-10-09 18:10:08 -07:00
Leni Aniva 0bdeaa402f
fix: Update to solve level mvar error 2024-10-09 16:41:26 -07:00
Leni Aniva ca66f52a1e
feat: o1-preview experiments 2024-10-08 21:44:14 -07:00
Leni Aniva 8c22ce09e7
feat: Plot generation for DSP 2024-10-08 19:20:57 -07:00
Leni Aniva 35f093821d
chore: Update upstream to fix bugs 2024-10-08 17:59:48 -07:00
Leni Aniva 9d7da88573
Merge branch 'misc/version' into experiments/dsp 2024-10-08 00:18:56 -07:00
Leni Aniva 2075a58661
chore: Update to REPL version with error handling 2024-10-08 00:18:39 -07:00
Leni Aniva ddb6f6ec85
Merge branch 'main' into misc/version 2024-10-08 00:18:26 -07:00
Leni Aniva a896e65f69 chore: Update Pantograph and Lean version to 4.12 2024-10-07 20:15:07 -07:00
Leni Aniva 76eb57b22e
fix: Prompt Lean code extraction 2024-10-07 18:58:35 -07:00
Leni Aniva 30cd3063f9
feat: Multiple sketches 2024-10-07 08:30:03 -07:00
Leni Aniva 789452f7b7
feat: Add stat function to show prove rate 2024-10-06 23:29:14 -07:00
Leni Aniva 402df63395
feat: Improve diagnostics in IO exception 2024-10-06 23:22:30 -07:00
Leni Aniva a281557d0a
Merge branch 'misc/version' into experiments/dsp 2024-10-06 22:06:07 -07:00
Leni Aniva 034fd458e3
chore: Update Pantograph and Lean version to 4.12 2024-10-06 22:04:10 -07:00
Leni Aniva 7770c0fb59
feat: Error feedback in DSP 2024-10-06 19:14:38 -07:00
Leni Aniva 1ecfa35e1c
Merge pull request #17 from lenianiva/experiments/minif2f 
experiment: MiniF2F
 2024-10-05 22:35:35 -07:00
Leni Aniva 159da09c9d
Merge branch 'main' into experiments/minif2f 2024-10-05 22:31:22 -07:00
Leni Aniva 009ae08894
Merge pull request #15 from lenianiva/experiments/dsp 
experiment: Draft-Sketch-Prove
 2024-10-05 22:30:47 -07:00
Leni Aniva 48f2f2cb5a
feat: Add handling for errors in compilation 2024-10-05 15:38:35 -07:00
Leni Aniva 568b81235c
feat: Error messages in frontend.process 2024-10-05 15:14:35 -07:00
Leni Aniva 104d2451b1
feat: Add more automation to `HammerAgent` 2024-10-05 01:26:19 -07:00
Leni Aniva 97f22ed67a
feat: Output experiment result into folder 2024-10-05 01:23:38 -07:00
Leni Aniva 0ab29e11cd
Merge branch 'experiments/dsp' into experiments/minif2f 2024-10-05 01:05:25 -07:00
Leni Aniva 02b56c937f
chore: Remove duplicate files 2024-10-05 01:01:27 -07:00
Leni Aniva 1fde034dce
fix: Remove barrier that halts problem iter 2024-10-05 00:59:28 -07:00
Leni Aniva 0d773e256b feat: Remove the goal count restriction on initial state 2024-10-05 00:58:27 -07:00
Leni Aniva cd5cf51970 feat: Improve feedback and provide default options 2024-10-05 00:58:27 -07:00
Leni Aniva 3b76080495
feat: Search on minif2f 2024-10-04 21:55:47 -07:00