LeanPaper

My research has focused on extending conformal prediction and leveraging its uncertainty quantification for robust decision-making with minimal conservatism. This site packages the papers, code, and accompanying Lean formalizations in one place.