Writing
Posts
My articles on open-source, machine learning, mathematics, and more.
No posts with this tag yet.
Latest post
More posts
Nov 2026
Veriphy
Machine-verified physics and math proofs in Lean 4
Nov 2026
sports-betting
Tools to create and evaluate machine learning models for sports betting
Nov 2026
scikit-ai
Task-oriented components for text, images, audio and video
Nov 2026
Nov 2026
Nov 2026
Jun 2023
imbalanced-learn-extra
Implementation of novel oversampling algorithms
No matching items