Robby Sneiderman
Statistical machine learning, formal verification and research systems.
Mathematical statistician and research-systems builder. I build machine-checked
foundations for statistical learning theory in Lean 4, controlled machine-learning
experiments, and reproducible evaluation systems.
Accepted 2026 research includes workshop and conference work across KDD, ICML, UAI,
IJCAI, COLM, MICCAI, VLDB, Sci-FM and QNLPAI venues, on measurement validity, evaluation
auditing and verified formalisation.
This page needs JavaScript for the full site. The summary above
is the short version.