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

88 Commits

Author SHA1 Message Date
Leni Aniva 7b9829e3d2
feat: Add limit on goal tactic trials 2024-06-05 14:36:51 -07:00
Leni Aniva ce633fecda
feat: Add ablation testing 2024-06-05 14:19:18 -07:00
Leni Aniva 4e678c7b97
feat: Use aesop to solve for goals 2024-06-05 14:02:12 -07:00
Chuyue Sun 9c672562a9 update 2024-06-05 13:58:32 -07:00
Chuyue Sun a5747122cd new semantic 2024-06-05 13:49:34 -07:00
Chuyue Sun 6d60651ed1 add informal hints for search agent 2024-06-05 11:39:08 -07:00
Chuyue Sun a8812c103b Merge branch 'search' of github.com:lenianiva/PyPantograph into search 2024-06-05 03:54:06 -07:00
Chuyue Sun 20301d53ae wip 2024-06-05 03:52:43 -07:00
Leni Aniva 3f77bc453f
feat: Sibling coupling information 2024-06-04 23:53:02 -07:00
Chuyue Sun da6f8f9b5b wip 2024-06-04 22:44:43 -07:00
Chuyue Sun 4fabd7adf8 clean 2024-06-04 20:37:36 -07:00
Chuyue Sun 0bb8d55de2 search llm passed 2024-06-04 19:59:59 -07:00
Chuyue Sun 2d12e87126
wip 2024-06-04 19:29:21 -07:00
Leni Aniva 860b3c2134
chore: Code cleanup 2024-06-03 23:57:48 -07:00
Leni Aniva 07597c0ce6
feat: Add tree search 2024-06-03 21:52:43 -07:00
Chuyue Sun f9fe626aa8 update llm gen tactics tests 2024-06-02 19:51:20 -07:00
Chuyue Sun 155c26e983 revert poetry.lock; add rw tutorial 2024-06-02 18:53:23 -07:00
Chuyue Sun 90a3a7bd3d update poetry lock; add llm feedback 2024-06-02 14:16:15 -07:00
Leni Aniva c9cc0ff2e2
chore: Version bump 2024-05-31 20:25:05 -07:00
Leni Aniva 174d1a3fd6
feat: Compilation unit extraction 2024-05-31 17:09:12 -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
LiviaSun b944ce6b36
Merge pull request #2 from lenianiva/chuyues 
update readme; add sglang implementation
 2024-05-21 09:56:12 -07:00
ChuyueSun 46459763be refactor 2024-05-20 18:06:15 -07:00
ChuyueSun 67b3ec969b apply sgl tactic 2024-05-20 00:26:52 -07:00
ChuyueSun 095180589b add conv_sgl tests 2024-05-20 00:02:33 -07:00
Leni Aniva cf85bb6901
feat: GC only if there's something to gc 2024-05-17 23:05:32 -07:00
Leni Aniva aa315ad31e
example: Calling aesop 2024-05-17 20:53:34 -07:00
Leni Aniva 82eb649a51
chore: Version bump of Pantograph 2024-05-17 20:35:19 -07:00
Leni Aniva 553d4fb0e0
feat: Typing of an expression 2024-05-17 19:58:16 -07:00
Leni Aniva 7c3b64562b
feat: Goal state garbage collection 2024-05-17 19:53:29 -07:00
Leni Aniva b4cfe7480f
feat: Have, calc, conv 2024-04-22 22:38:20 -07:00
Leni Aniva 6091a5191c
fix: Conversion goals and value printing 2024-04-22 13:32:29 -07:00
Leni Aniva 8658ec08e2
fix: Snake case style 2024-04-22 13:26:48 -07:00
Leni Aniva 83fcec5d60
feat: Add tactic object 2024-04-22 13:11:28 -07:00
Leni Aniva 8f64920789
feat: expression types and tests 2024-04-22 13:00:06 -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