Eduardo Santibanez

Verse of the Day

Top r/MachineLearning Posts

1. [R] TorchLean: Formalizing Neural Networks in Lean
2. [D] The engineering overhead of Verifiable ML: Why GKR + Hyrax for on-device ZK-ML?
3. [D] How to get credits to run experiments on closed source models as a student researcher.
4. [R] Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
5. [D] ICLR 2026 Registration Process