ByteDance-Seed/Seed-Prover

Solves math problems with formal proofs

View on index · View in 3D Map

Related repos

• Code LLM that curates its own training data
• Database with built-in cryptographic proof and verification
• Language model for theorem proving via subgoal decomposition
• zkML framework for proving AI model inferences with zero-knowledge proofs
• Collection of formalized conjecture statements in Lean
• Nexus zkVM for verifiable computation
• Collection of papers on LLM reasoning
• Signs Bitcoin transactions with a Raspberry Pi Zero
• open source proofreading tool for grammar and style checks in many languages