forgi86
Follow
Stars
[ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.
The intent of this repository is to build a database of control theoretic proofs in lean.
Formalization of foundational Control Theory in Lean (a sketch)
Lean 4 theorem proving skill and workflow pack for AI coding agents
EECI Course on "Deep Learning for System Identification", Leuven, Belgium, 2026. Lecturers: Dario Piga, Marco Forgione
AI agents running research on single-GPU nanochat training automatically
This is the official repository for the ICLR 2026 paper "The Curious Case of In-Training Compression of State Space Models".
Material for the mini-course on Deep Learning for System Identification (Lyon 2026)
A curated, taxonomy-organized collection of 50+ papers on Scientific Foundation Models (SciFMs) across 14+ domains — from climate and materials science to fluid dynamics and nuclear physics.
Electric mobility is a key technology for more sustainable mobility and is one way of achieving ambitious energy and climate policy goals. Electric engines are efficient, and using electricity mean…
Companion Matlab and Python codes for the book Bayesian Filtering and Smoothing by Simo Särkkä and Lennart Svensson
JAX tutorial for people already familiar with PyTorch
Code accompanying the paper "Manifold meta-learning for reduced-complexity neural system identification" (Automatica, 2027)
Teaching Jax from a working-example standpoint
EPFL Course - Optimization for Machine Learning - CS-439
A curated list of awesome computer vision resources
Official repo for the #tidytuesday project
vanderschaarlab / climb
Forked from DrShushen/climbCliMB: An AI-enabled Partner for Clinical Predictive Modeling
Curated repository of papers on integrating reinforcement learning with generative AI models in robotics, featuring categorized Excel summaries of key analysis metrics like frameworks, applications…
Nonlinear optimisation (root-finding, least squares, ...) in JAX+Equinox. https://docs.kidger.site/optimistix/