pitmonticone
Mathematics @UniTrento || Formalising in @LeanProver || Modelling @InPhyT || Developing in @JuliaLang || Forecasting @Metaculus || Reading @Goodreads.
University of TrentoTrento, Italy
Pinned Repositories
COVID19-Italy-Integrated-Surveillance-Data
COVID-19 integrated surveillance data provided by the Italian Institute of Health and processed via UnrollingAverages.jl to deconvolve the weekly moving averages.
Agents.jl
Agent-based modeling framework in Julia
Graphs.jl
An optimized graphs package for the Julia programming language
MultilayerGraphs.jl
A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
lean4
Lean 4 programming language and theorem prover
EnergySystemModelling
Resources for the Energy System Modelling course by Tom Brown at Karlsruhe Institute of Technology (2020).
PlantDiseaseClassification
Dataset Analysis & CNN Models Optimization for Plant Disease Classification.
RedditTextClassification
Reddit Gender Text-Classification.
SocialMediaEgoGraphAnalysis
Ego Graph Analysis on Social Media.
Tidier.jl
Meta-package for data analysis in Julia, modeled after the R tidyverse.
pitmonticone's Repositories
pitmonticone/pitmonticone
Profile repository of Pietro Monticone.
pitmonticone/amazon-sagemaker-examples
Example 📓 Jupyter notebooks that demonstrate how to build, train, and deploy machine learning models using 🧠 Amazon SageMaker.
pitmonticone/FLT3
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
pitmonticone/NNG4
Natural Number Game
pitmonticone/NonlinearDynamicsComplexSystemsCourse
Material for a full course on applied nonlinear dynamics, nonlinear timeseries analysis, and complex systems, in Julia
pitmonticone/waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
pitmonticone/Bayesian-Julia
Bayesian Statistics using Julia and Turing
pitmonticone/Bayesian-Statistics
This repository holds slides and code for a full Bayesian statistics graduate course.
pitmonticone/blog
Source for the community blog
pitmonticone/cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
pitmonticone/communitynotes
Documentation and source code powering Twitter's Community Notes
pitmonticone/cornell-cs5785-2023-applied-ml
Lecture materials for Cornell CS5785 Applied Machine Learning (Fall 2023)
pitmonticone/deeplearning-models
A collection of various deep learning architectures, models, and tips
pitmonticone/evm-from-scratch-book
pitmonticone/gaagc24.github.io
Website for Group Actions: algebraic, geometric and combinatorial aspects
pitmonticone/gemma
Open weights LLM from Google DeepMind.
pitmonticone/intro_dgm
"Deep Generative Modeling": Introductory Examples
pitmonticone/LeanCopilot
Native Neural Network Inference in Lean
pitmonticone/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
pitmonticone/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
pitmonticone/ml-engineering
Machine Learning Engineering Guides and Tools
pitmonticone/PairPlots.jl
Beautiful and flexible vizualizations of high dimensional data
pitmonticone/penzai
A JAX research toolkit for building, editing, and visualizing neural networks.
pitmonticone/PerennialProblemsOfLifeWithABrain
pitmonticone/pfr
pitmonticone/PNT
blueprint for prime number theorem and more
pitmonticone/proofs-and-programs-2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
pitmonticone/STG4
Set Theory Game
pitmonticone/turinglang.github.io
The home for all Turing website & documentation resources.
pitmonticone/uvadlc_notebooks
Repository of Jupyter notebook tutorials for teaching the Deep Learning Course at the University of Amsterdam (MSc AI), Fall 2021/Spring 2022