trishullab/copra
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
Python
Stargazers
- 0xGeorgii@OpenZeppelin
- aa755Miami, FL, USA
- AnHaechan@kaist-cp
- bellyfat
- cctienThe University of Chicago
- d-xo
- fly51flyPRIS
- GanjinZeroDAMO Academy
- hammer
- HongtengXuRenmin University of China
- jacobwwh
- JC-Chen1South China University of Technology
- JeffCarpenterCanada
- jizejUIUC
- jmanuel1Imagine Learning
- jon-chin
- justinchiu
- jxin31415
- kalagovindarajan
- Linear95Tencent AI Lab
- mrragava
- offendoUniversity of California, Santa Cruz
- philzook58Draper
- RexWzh
- richardxd
- smellslikemlSmellsLikeML
- sorokinvldRussia
- tkersey@thisisartium
- utensil
- vinayakathavale
- wiio12
- xiaoxuanNLPUniversity of Chinese Academy of Sciences (UCAS)
- xiyuzhaiUW
- yangky11Meta Fundamental AI Research (FAIR)
- zhan72Tsinghua University
- zhangxii