☆242Jul 20, 2026Updated 3 months ago
Alternatives and similar repositories for pipeline-math
Users that are interested in pipeline-math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ICLR 2025] This repository contains the code to reproduce the results from our paper From Sparse Dependence to Sparse Attention: Unveili…☆12Mar 7, 2025Updated last year
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 3 months ago
- ☆31Apr 3, 2026Updated 7 months ago
- ☆18Jul 30, 2026Updated 3 months ago
- A code repository accompanying the paper "Transformers, parallel computation, and logarithmic depth" by Clayton Sanford, Daniel Hsu, and …☆12Feb 15, 2024Updated 2 years ago
- 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.
- [ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures fo…☆144Jul 15, 2026Updated 3 months ago
- ☆13Apr 16, 2025Updated last year
- UlamAI is an open-source Lean theorem prover and formalizer.☆162Aug 9, 2026Updated 3 months ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆69Oct 25, 2026Updated 2 weeks ago
- Running sublean☆21Updated this week
- ☆209Sep 22, 2026Updated last month
- ☆19Mar 10, 2026Updated 8 months ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- Verifying Signal's security at the machine-code level☆54Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A novel fast and accurate hybrid method for solving Poisson equation for closely-packed dielectric sphere composites.☆10Apr 2, 2021Updated 5 years ago
- ☆23Aug 17, 2026Updated 2 months ago
- A community database for the problems on the erdosproblems.com site☆883Updated this week
- 📄 Forgetting in Language Models: Capacity, Optimization, and Self-Generated Replay☆26Jul 17, 2026Updated 3 months ago
- 6,080-param transformer achieving 100% accuracy on 10-digit addition. Trained from scratch in 10 minutes.☆22Feb 19, 2026Updated 8 months ago
- ☆11Mar 18, 2025Updated last year
- ☆39Oct 8, 2026Updated last month
- New state-of-the-art bounds for open problems☆126Apr 12, 2026Updated 7 months ago
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Quantum information theory in Lean 4☆147Sep 10, 2026Updated 2 months ago
- A Haskell probabilistic programming library.☆23Updated this week
- Lean formalization of a complex structure on the six-sphere☆17Oct 8, 2026Updated last month
- ☆199Apr 24, 2026Updated 6 months ago
- Code for Looped Transformers for Length Generalization (https://arxiv.org/abs/2409.15647), ICLR 2025☆15Apr 30, 2025Updated last year
- Slides from my talks☆13Sep 27, 2026Updated last month
- Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"☆27Apr 17, 2024Updated 2 years ago
- ☆21Mar 4, 2026Updated 8 months ago
- A modular Python foundation for reproducible computational and autonomous laboratories. Alpha; the reference profile is simulator-only.☆108Nov 1, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆104Jul 17, 2026Updated 3 months ago
- Verifying the ZX Calculus☆21Jan 16, 2026Updated 9 months ago
- ☆365Oct 6, 2026Updated last month
- A collection of optimization problems in mathematics☆387Oct 28, 2026Updated 2 weeks ago
- MCP Server for AI agents to interact with our Lean infrastructure☆38Sep 16, 2026Updated last month
- Lean formalization of bounded gaps between primes☆49Aug 18, 2026Updated 2 months ago
- ☆441Feb 13, 2026Updated 8 months ago
Are these results useful?