wellecks/naturalprover
NaturalProver: Grounded Mathematical Proof Generation with Language Models
PythonMIT
Stargazers
- alcidesLASIGE, University of Lisbon
- alexjbestKing's College London
- alreadydoneHeidelberg / Shenzhen
- ansteam
- BartoszPiotrowskiWarsaw
- BrentKylling
- brucewleeUniversity of Pennsylvania
- crazyofappleShenzhen
- D-RobertsNew York City
- dominikusbrianDreamBrook Labs
- fly51flyPRIS
- GanjinZeroDAMO Academy
- GitHub30Osaka, Japan
- hectorpalServiceNow
- henrylaohttps://www.henrylao.com/
- martiansideofthemoonSenior Research Scientist, Google DeepMind
- mastaneDeep Gambit Limited
- mufeiliAWS AI Lab Shanghai
- oscaromsnPindograma
- ramonfmirLondon
- rubac
- SandalotsVolcanak
- serjtroshin
- sorayuth-pep
- sushmaakojuUniversity of Arizona
- sustcsonglinMIT
- ToheartZhangRenmin Univiersity of China
- tongyx361Tsinghua University
- vlfomMicrosoft
- w32zhong
- wellecksCarnegie Mellon University
- yangky11Meta Fundamental AI Research (FAIR)
- ZaiYu411
- zijunchen68