Eduardo Santibanez

Creative Student Interested in Electrical Engineering and coding

Stocks by TradingView

Verse of the Day

Top r/MachineLearning Posts

  1. [D] How much time do you actually lose trying to reproduce ML papers?
  2. [R] Are neurons the wrong primitive for modeling decision systems?
  3. [P] Vera: a programming language designed for LLMs to write
  4. [R] TorchLean: Formalizing Neural Networks in Lean
  5. [D] The engineering overhead of Verifiable ML: Why GKR + Hyrax for on-device ZK-ML?