☆29Apr 2, 2026Updated 5 months ago
Alternatives and similar repositories for autolean
Users that are interested in autolean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 3 months ago
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 5 months ago
- Official Project Page for Web World Models (https://arxiv.org/abs/2512.23676)☆92Jun 5, 2026Updated 3 months ago
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆17Jul 20, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SorryDB indexes sorries in public lean repositories☆55Sep 8, 2026Updated last week
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆192Updated this week
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 7 months ago
- ☆96Updated this week
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆39Apr 8, 2026Updated 5 months ago
- ☆31May 15, 2026Updated 3 months ago
- Lean formalizations of Putnam-like problems☆20Aug 28, 2026Updated 2 weeks ago
- A proof of concept of a shared mathematical environment without need for version control or naming synchronization.☆25Mar 20, 2026Updated 5 months ago
- The public website for AllenNLP.☆10Feb 3, 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.
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆439Updated this week
- Code for the paper on t-SNE with variable degree of freedom☆11Jun 27, 2019Updated 7 years ago
- [ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (https://huggingface.co/papers…☆92Nov 23, 2025Updated 9 months ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jul 27, 2026Updated last month
- A2UI Client that communicates with A2A (Agent-to-Agent) servers using the A2A protocol with optional A2UI extensions for rich interactive…☆16Jan 25, 2026Updated 7 months ago
- Code repo for MathAgent☆21Dec 15, 2023Updated 2 years ago
- A Lean4 Formalization of Polynomial Functors☆29Jul 10, 2026Updated 2 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 2 months ago
- MATLAB implementation of Gene Set Enrichment Analysis (GSEA) method for finding pathways which can show more complex relation between cha…☆10Sep 7, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a categorical deep learning compiler☆34Jun 10, 2026Updated 3 months ago
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Oct 2, 2025Updated 11 months ago
- Host a graph database such as OrientDB on IBM Container Service using Kubernetes APIs☆12Apr 22, 2019Updated 7 years ago
- ☆20Updated this week
- The Noperthedron does not have Rupert Property: a proof in Lean4☆18Updated this week
- A Comprehensive Speech Processing Algorithms Library for research and production use☆18Oct 25, 2025Updated 10 months ago
- ☆20Jan 10, 2025Updated last year
- Blender addon for importing Megascans from local directory or zip file.☆10Jun 10, 2025Updated last year
- Undub project for Tecmo's Project Zero - the EU version (the first one) for the PS2☆18Jul 23, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Get insights from OrientDB database using PyOrient through IBM Watson Studio☆13Apr 22, 2019Updated 7 years ago
- Fund your open source dependencies☆12Oct 28, 2022Updated 3 years ago
- ☆12Jul 13, 2018Updated 8 years ago
- Interactive Drosophila brain simulation — 139K LIF neurons from the FlyWire FAFB connectome☆63Aug 13, 2026Updated last month
- Multivariate adaptive shrinkage methods used for analysis GTEx data in Urbut et al (2017).☆12Sep 25, 2017Updated 8 years ago
- The code and analyses accompanying the manuscript “MetaMap: An atlas of metatranscriptomic reads in human disease-related RNA-seq data”.☆12Nov 28, 2018Updated 7 years ago
- OpenClaw plugin for Momo memory☆16Feb 11, 2026Updated 7 months ago