A repository to introduce the algorithmic information theory. You could learn what is Kolmogorov complexity and why it is important here.
☆13Jul 23, 2025Updated last year
Alternatives and similar repositories for AIT
Users that are interested in AIT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆18Jun 25, 2022Updated 4 years ago
- ⚡ Official code for “Massive Activations in Hybrid Linear Attention Large Language Models: Pre-Attention Spikes and Inter-Spike Plateaus”…☆25Aug 13, 2026Updated 2 months ago
- Haskell library of algebraic topology☆27Sep 23, 2011Updated 15 years ago
- Normalization by evaluation of simply typed combinators.☆27Feb 24, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Jun 12, 2014Updated 12 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Jul 11, 2026Updated 3 months ago
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Feb 25, 2021Updated 5 years ago
- ☆15Sep 29, 2026Updated last month
- Reference implementation for DPO (Direct Preference Optimization)☆13Jan 18, 2024Updated 2 years ago
- Implementation of ColorMNIST (in a DataLoader for PyTorch)☆12Jul 24, 2018Updated 8 years ago
- Paperwise is a systematic and streamlined research workflow for managing AI papers that revolves around three core tools: Zotero, Researc…☆21Apr 11, 2025Updated last year
- ☆18Jan 3, 2022Updated 4 years ago
- ☆18Oct 2, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 全网收集人工智能学术会议AAAI论文，最全☆15Jan 18, 2021Updated 5 years ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆16Jul 10, 2024Updated 2 years ago
- larc solving with gpt4☆20May 25, 2023Updated 3 years ago
- [NeurIPS 2022] Compositional Generalization in Unsupervised Compositional Representation Learning: A Study on Disentanglement and Emergen…☆13Oct 7, 2022Updated 4 years ago
- ☆12Oct 12, 2024Updated 2 years ago
- This is the official implementation of the ICML 2023 paper - Can Forward Gradient Match Backpropagation ?☆13May 31, 2023Updated 3 years ago
- ☆16Jul 1, 2026Updated 4 months ago
- LDPC码的编解码python实现，并采用GPU并行加速☆14Dec 3, 2024Updated last year
- ☆12Aug 17, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [ICLR'24] Heterogeneous Personalized Federated Learning by Local-Global Updates Mixing via Convergence Rate☆14Jun 17, 2025Updated last year
- ☆16Sep 2, 2020Updated 6 years ago
- Modular framework for property inference attacks on deep neural networks☆19Jun 8, 2023Updated 3 years ago
- ☆16Mar 8, 2025Updated last year
- ☆11Mar 24, 2025Updated last year
- Pytorch implementation of the paper 'Compositional language emerge in a neural iterated learning' (ICLR 2020).☆16Oct 14, 2021Updated 5 years ago
- ☆13Sep 25, 2023Updated 3 years ago
- Official Implementation of Budgeted Online Continual Learning by Adaptive Layer Freezing and Frequency-based Sampling (ICLR'25-Spotlight)☆12Jan 21, 2026Updated 9 months ago
- solo-learn: a library of self-supervised methods for visual representation learning powered by Pytorch Lightning☆24Jan 19, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Math 480; Elementary Number Theory: Primes, Congruences, and Secrets; Winter 2014☆13Mar 12, 2014Updated 12 years ago
- [ICML2024] "FedLMT: Tackling System Heterogeneity of Federated Learning via Low-Rank Model Training with Theoretical Guarantees" by Jiaha…☆14Sep 22, 2024Updated 2 years ago
- ☆23Dec 7, 2023Updated 2 years ago
- ☆16Jan 6, 2026Updated 9 months ago
- Neurosymbolic transformers for multi-agent communication.☆23Oct 22, 2020Updated 6 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆47Dec 17, 2023Updated 2 years ago
- "Learning Discrete and Continuous Factors of Data via Alternating Disentanglement" accepted at ICML2019☆22Aug 22, 2019Updated 7 years ago