Eduardo Santibanez

Creative Student Interested in Electrical Engineering and coding

Stocks by TradingView

Verse of the Day

Top r/MachineLearning Posts

  1. [R] TorchLean: Formalizing Neural Networks in Lean
  2. [D] How to get credits to run experiments on closed source models as a student researcher.
  3. [R] Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
  4. [D] ICLR 2026 Registration Process
  5. [P] easy-torch-tpu: Making it easy to train PyTorch-based models on Google TPUs