Founder @ Metalogic Labs, MathGraph.org. Building infrastructure for verified intelligence.