Pietro Monticone's repositories
pitmonticone
Profile repository of Pietro Monticone.
BonnAnalysis
Repository hosting code and blueprint for the collaborative formalisation seminar in Analysis at the University of Bonn.
NonlinearDynamicsComplexSystemsCourse
Material for a full course on applied nonlinear dynamics, nonlinear timeseries analysis, and complex systems, in Julia
waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Bayesian-Julia
Bayesian Statistics using Julia and Turing
Bayesian-Statistics
This repository holds slides and code for a full Bayesian statistics graduate course.
blog
Source for the community blog
cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
carleson
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
communitynotes
Documentation and source code powering Twitter's Community Notes
cornell-cs5785-2023-applied-ml
Lecture materials for Cornell CS5785 Applied Machine Learning (Fall 2023)
deeplearning-models
A collection of various deep learning architectures, models, and tips
gemma
Open weights LLM from Google DeepMind.
intro_dgm
"Deep Generative Modeling": Introductory Examples
LeanCopilot
Native Neural Network Inference in Lean
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
ml-engineering
Machine Learning Engineering Guides and Tools
PairPlots.jl
Beautiful and flexible vizualizations of high dimensional data
penzai
A JAX research toolkit for building, editing, and visualizing neural networks.
PNT
blueprint for prime number theorem and more
proofs-and-programs-2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
STG4
Set Theory Game
turinglang.github.io
The home for all Turing website & documentation resources.
uvadlc_notebooks
Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2021/Spring 2022