Pietro Monticone

@pitmonticone

AI ⇌ Formal Verification @Harmonic-AI || Formalising Mathematics and Software in @LeanProver || Developing FOSS in @LeanProver, @JuliaLang and @Python.

Italy, United Kingdom, United States

View GitHub profile 1 followers · 0 following

Contributed to 1 repository

1 commits across the projects listed in this directory.

awesome-conformal-prediction

valeman

A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.

Markdown 1,278 1 commits