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

212 Commits

Author SHA1 Message Date
Leni Aniva ce7e27a0fd
doc: Add doc building instructions 2024-12-11 17:20:25 -08:00
Leni Aniva 04e40b6dfa
doc: Update all examples to 0.2.23 2024-12-11 17:14:44 -08:00
Leni Aniva 4c559294d3
chore: Update version 2024-12-11 17:07:50 -08:00
Leni Aniva 57001bb0a3
doc: Update documentation 2024-12-11 17:07:35 -08:00
Leni Aniva 8e373eb3b2
fix: Goal state pickling 2024-12-11 17:00:25 -08:00
Leni Aniva f1e3ec82f0
fix: Goal state pickling/unpickling 2024-12-11 16:54:50 -08:00
Leni Aniva fb8652d132
feat: Env/Goal pickling 2024-12-11 16:36:55 -08:00
Leni Aniva 359b5f8d47
feat: env.{add, inspect} 2024-12-11 16:32:12 -08:00
Leni Aniva 47b2fbe38d
refactor: Into CompilationUnit objects 2024-12-11 16:25:45 -08:00
Leni Aniva d3c14f321f
chore: Update to 0.2.22 2024-12-11 01:30:52 -08:00
Leni Aniva 605fbd0bd7
Merge pull request #47 from lenianiva/feat/tactic-extraction 
feat: Used constants in tactic step
 2024-12-05 17:30:33 -08:00
Leni Aniva 70544d4298
Merge pull request #37 from sorgfresser/add-mcts-agent 
feat: Add MCTS agent
 2024-11-12 00:04:47 -05:00
Leni Aniva 66af206594
feat: Used constants in tactic step 2024-11-11 21:02:02 -08:00
Simon 0ba6927a1e
fix: Set verbosity to False on MCTS tests 2024-11-02 19:17:36 +00:00
Simon bafb5944b2
Merge branch 'main' into add-mcts-agent 2024-11-02 10:38:15 +00:00
Simon 2e377d2a7e
feat: Tactic feedback per state 2024-11-02 10:35:57 +00:00
Leni Aniva 92a50b00cc
Merge pull request #42 from lenianiva/feat/search 
feat: Add linage info to tree search
 2024-10-30 18:31:42 -07:00
Leni Aniva 6d9cb9cd3d
Merge branch 'main' into feat/search 2024-10-30 18:30:46 -07:00
Simon b89f3a19bf feat: add state specific tactic feedback 2024-10-30 17:08:44 -07:00
Leni Aniva de93309393
feat: Add linage info to tree search 2024-10-28 10:34:09 -07:00
Leni Aniva 93ecd0d5ad doc: Clarify data 2024-10-25 09:58:18 -07:00
Leni Aniva a61cea3a2f doc: Not call out LeanDojo 2024-10-25 09:58:18 -07:00
Leni Aniva e1d27d6ae0 build: Remove doc regeneration on doc/main 2024-10-22 22:26:01 -07:00
Leni Aniva bba6bd63ce doc: Paper link 2024-10-22 22:26:01 -07:00
Leni Aniva 206f492a95 chore: Update upstream 2024-10-21 10:19:57 -07:00
Leni Aniva a5efea070f doc: Change to Apache2 License 2024-10-21 10:19:57 -07:00
Simon c6358056fe
Add mcts agent 2024-10-21 17:36:20 +01:00
Leni Aniva 70e2f2e83e
Merge pull request #34 from lenianiva/doc/main 
doc: Documentations in pages
 2024-10-20 19:35:45 -07:00
Leni Aniva 817d708750
fix: Disable notebook execution 2024-10-20 19:29:27 -07:00
Leni Aniva 7a2278cb70
doc: Add comprehensive documentation 
fix: Typo in `Server.tactic_invocations`
 2024-10-20 19:22:35 -07:00
Leni Aniva 75221cca0b
doc: autodocs for expr and data 2024-10-20 09:52:12 -07:00
Leni Aniva 1f3784d12c
fix: Remove lake version check 2024-10-18 15:40:52 -07:00
Leni Aniva 1b05419233
fix: Checkout submodules 2024-10-18 15:39:36 -07:00
Leni Aniva 1c017e342e
fix: Move elan to next step 2024-10-18 15:38:18 -07:00
Leni Aniva 0fef9e2923
fix: Install Lean toolchain 2024-10-18 15:37:35 -07:00
Leni Aniva 92edb0d0cd
chore: Fix build task names and check lake 2024-10-18 15:35:06 -07:00
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