☆243Jul 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:
- finding new ramsey bounds through scaling autoresearch☆49May 13, 2026Updated 5 months ago
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 3 months ago
- ☆18Jul 30, 2026Updated 2 months ago
- Simple personal knowledge with LLM Wiki as foundation adding automated content ingestion from X and other sources.☆17Oct 13, 2026Updated last week
- ☆13Apr 16, 2025Updated last year
- 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.
- ☆207Sep 22, 2026Updated last month
- [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
- 📄 Forgetting in Language Models: Capacity, Optimization, and Self-Generated Replay☆26Jul 17, 2026Updated 3 months ago
- A novel fast and accurate hybrid method for solving Poisson equation for closely-packed dielectric sphere composites.☆10Apr 2, 2021Updated 5 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 4 months ago
- Code for Looped Transformers for Length Generalization (https://arxiv.org/abs/2409.15647), ICLR 2025☆14Apr 30, 2025Updated last year
- 6,080-param transformer achieving 100% accuracy on 10-digit addition. Trained from scratch in 10 minutes.☆22Feb 19, 2026Updated 8 months ago
- Code for the "Mechanisms of Introspective Awareness" paper.☆46Apr 16, 2026Updated 6 months ago
- ☆114Feb 18, 2026Updated 8 months 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.
- Quantum information theory in Lean 4☆145Sep 10, 2026Updated last month
- ☆191Apr 24, 2026Updated 5 months ago
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 3 years ago
- ☆104Jul 17, 2026Updated 3 months ago
- New state-of-the-art bounds for open problems☆126Apr 12, 2026Updated 6 months ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"☆27Apr 17, 2024Updated 2 years ago
- An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is pro…☆46Oct 9, 2026Updated 2 weeks ago
- An open-source, model-agnostic agent for the OpenBB Workspace☆24Aug 26, 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.
- ☆16Sep 24, 2026Updated 3 weeks ago
- A community database for the problems on the erdosproblems.com site☆874Updated this week
- Async value functions and replay-buffer critic training for PRIME-RL☆20Sep 4, 2026Updated last month
- ☆359Oct 6, 2026Updated 2 weeks ago
- ☆21Mar 4, 2026Updated 7 months ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- ☆64Jul 17, 2026Updated 3 months ago
- Lean formalization of bounded gaps between primes☆44Aug 18, 2026Updated 2 months ago
- MCP Server for AI agents to interact with our Lean infrastructure☆37Sep 16, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 15k open math problems, linked to their sources.☆28Jul 31, 2026Updated 2 months ago
- Experiments on whether language models can learn to detect read-only activation probes☆60Updated this week
- ☆441Feb 13, 2026Updated 8 months ago
- End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion …☆77Sep 9, 2026Updated last month
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated last month
- Julia package finite group theory calculation.☆14Jun 3, 2026Updated 4 months ago
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 6 months ago