Our solution to Putnam 2025.
☆77Jan 9, 2026Updated last month
Alternatives and similar repositories for Putnam2025
Users that are interested in Putnam2025 are comparing it to the libraries listed below
Sorting:
- ☆27Aug 16, 2025Updated 6 months ago
- Model Merging with Functional Dual Anchors☆45Nov 23, 2025Updated 3 months ago
- Training tiny models to prove hard theorems☆29Feb 15, 2026Updated 2 weeks ago
- ☆16Oct 27, 2024Updated last year
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆37Feb 11, 2026Updated 2 weeks ago
- ☆26Jul 16, 2025Updated 7 months ago
- Mixture of Cognitive Reasoners: Modular Reasoning with Brain-Like Specialization☆39Feb 7, 2026Updated 3 weeks ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆64Updated this week
- ☆27Feb 3, 2026Updated 3 weeks ago
- ☆292Sep 11, 2025Updated 5 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆84Nov 17, 2025Updated 3 months ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆66Jan 31, 2026Updated last month
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆35Oct 4, 2025Updated 4 months ago
- ☆19Updated this week
- Implementation of SOAR☆51Sep 17, 2025Updated 5 months ago
- Easy Setup, File-based, Offline Capable Federated Learning and Computations☆22Feb 11, 2026Updated 2 weeks ago
- A generalized ESPRIT algorithm for MATLAB☆15Jan 28, 2021Updated 5 years ago
- Primus-SaFE(Stability and Fault Endurance)☆52Updated this week
- Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code☆90Updated this week
- ☆34Sep 22, 2025Updated 5 months ago
- A Mathematica Package for Cooperative Game Theory☆11Jun 6, 2024Updated last year
- Embedding language models in probability space via log-likelihood vectors☆16Oct 25, 2025Updated 4 months ago
- ☆16Oct 24, 2021Updated 4 years ago
- ☆29Jan 15, 2026Updated last month
- practical guides, tutorials, and code samples for ml4a☆10Mar 26, 2019Updated 6 years ago
- ☆10Nov 9, 2020Updated 5 years ago
- ☆153Aug 27, 2025Updated 6 months ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 6 months ago
- A Discord bot that replaces twitter URLs with vxtwitter for videos and GIFs.☆13Feb 25, 2023Updated 3 years ago
- A standard-derived suite of cryptography libraries for the TI-84+ CE graphing calculator.☆14Jan 24, 2026Updated last month
- Notebook sul linguaggio Python preparati da docente per il corso di Linguaggi dinamici☆12Feb 12, 2020Updated 6 years ago
- Deepfake faces detection from forged videos where used explainable AI for models' robustness as well as cost sensitive methods for mitiga…☆10May 27, 2024Updated last year
- Photonic Quantum Machine Learning Framework☆18Feb 18, 2026Updated last week
- A Google Chrome extension to open/edit latex files online using www.overleaf.com without the need of any software to be installed.☆10Dec 16, 2016Updated 9 years ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- [AAAI 2021 Workshop] The official repository for the LST-MAP model for few-shot image classification.☆13Feb 12, 2021Updated 5 years ago
- Code for "Goal-Guided Neural Cellular Automata: Learning to Control Self-Organising Systems"☆55May 31, 2022Updated 3 years ago
- ☆23Jul 11, 2025Updated 7 months ago
- ☆11Oct 21, 2023Updated 2 years ago