AlphaProof - Moozonian Search

GitHub

Minimal open-source implementation of AlphaProof and HyperTree Proof Search.

⭐ 66 | 🍴 8

GitHub

Client library used to interact with the AlphaProof service

⭐ 9 | 🍴 2

GitHub

Mirror of Google Deepmind's alphaproof results on the 2024 IMO

⭐ 6 | 🍴 1

GitHub

通过AlphaProof的神经符号架构、拓扑ZFC的形式化方法与强化学习优化策略的深度融合，在技术基础上实现三大突破：证明步骤的几何化压缩、形式验证的动态优化、数论问题的拓扑重构，为数论猜想的机器证明开辟新范式

⭐ 1 | 🍴 0

💻 Developer Nexus: AlphaProof