Pietro Monticone's repositories
llm-course
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
esm-lectures
Lecture slides for KIT Energy System Modelling (ESM) course
gravity_gae_torch_geometric
Pytorch Geometric implementation of the "Gravity-Inspired Graph Autoencoders for Directed Link Prediction" paper.
hallucination-leaderboard
Leaderboard Comparing LLM Performance at Producing Hallucinations when Summarizing Short Documents
machine-learning-experiments
🤖 Interactive Machine Learning experiments: 🏋️models training + 🎨models demo
PythonNumericalDemos
Well-documented Python demonstrations for spatial data analytics, geostatistical and machine learning to support my courses.
SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Atlas
Repository supporting the implementation of FAIR principles in the IPCC-WGI Atlas
awesome-cold-showers
For when people get too hyped up about things
BDA_course_Aalto
Bayesian Data Analysis course at Aalto
cam-notes
My Cambridge Lecture Notes
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
introdatasci
Course materials for: Introduction to Data Science and Programming
julia-deeplearning-book
Repo that hosts the companion book of Julia for Deep Learning
JuliaPackageComparisons.github.io
A website to help Julia users discover and choose between packages.
LeanCopilot
Native Neural Network Inference in Lean
lecture-jax
Lectures on Quantitative Economics Using JAX
libro
Il grande libro di ItaCa
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
outlines
Guided Text Generation
PG
This repo is the new home of Proof General
PromptingTools.jl
Streamline your life using PromptingTools.jl, the Julia package that simplifies interacting with large language models.
scicomp-docs
Aalto scientific computing guide: former Triton user guide + more info
SciLean
Scientific computing in Lean 4