Robby Sneiderman

Independent AI researcher · Founder of TheoremPath.

I build scientific evaluations, research software, and proofs a computer can check. My research spans AI evaluation, statistical learning, and formal verification.

FormalSLT: statistical learning theory in Lean 4
TheoremPath: mathematics, statistics, and machine learning
CV (PDF)
github.com/Robby955
robbysneiderman@gmail.com

This page needs JavaScript for the full site. The summary above is the short version.