dwhalen/holophrasm
Holophrasm: a neural Automated Theorem Prover for higher-order logic
Objective-C++MIT
Stargazers
- alreadydoneHeidelberg / Shenzhen
- AlunStokesMcMaster University
- anatolvitold
- arademakerIBM Research and EMAp/FGV
- bigaidreamBeijing Academy of AI
- breandan@mila-iqia
- chessai
- cyb3rn3t1c1anNewark, NJ
- danmichaeljones
- fsodogandjiwww.scaleway.com
- h4ck3rm1k3Introspector Software Services
- lucoliviBrazil
- luhartRumbo Labs
- mindboundD8 Corporation
- mrkgnao
- neocxi
- randyriemannAlibaba DAMO Academy
- saktheeswaranswanhomelabs
- sdiehlLondon
- seanavery@viamrobotics
- secondwtqSichuan University
- shawnzaru
- shipeng331
- spirtskhalavaGeorgia, Tbilisi
- spoluDust
- stevenxxiuMelbourne, Australia
- taktoa@MatX-inc
- thepok
- tigeryi1998New York University
- timxorChicago
- tkersey@thisisartium
- ToughStoneXSouth China University of Technology
- venom12138Beijing
- void4
- xmonader@threefoldtech
- ym1234