☆29Apr 2, 2026Updated 7 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:
- MathCode: A Frontier Mathematical Coding Agent☆752Nov 5, 2026Updated last week
- [Lanser-CLI] Official Implementation of "Reinforcement Learning from Compiler and Language Server Feedback" (https://arxiv.org/abs/2510.2…☆18Jun 15, 2026Updated 5 months ago
- ☆23Mar 11, 2026Updated 8 months ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Coordinate AI agents with human-in-the-loop control — YAML-based protocol, no server, any runtime☆15Oct 27, 2026Updated 2 weeks 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.
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- Official Project Page for Falcon: Fast Weight Attention for Continual Learning (https://arxiv.org/abs/2608.27763)☆43Nov 5, 2026Updated last week
- Easy bindings between Lean and Python.☆12May 7, 2026Updated 6 months ago
- Read the codebases of Codex, Gemini CLI, Mistral Vibe, and OpenCode, then forked three of them to run GLM-4.7 on Terminal-Bench 2.0. Same…☆15Jul 18, 2026Updated 3 months ago
- ☆14Updated this week
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- Random variate generation library in C☆10Oct 21, 2026Updated 3 weeks ago
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 7 months ago
- Formal prime certificates in Lean 4☆13Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Delta Cycle☆13Nov 1, 2026Updated 2 weeks ago
- A Lean4 Formalization of Polynomial Functors☆30Jul 10, 2026Updated 4 months ago
- ☆10Dec 2, 2025Updated 11 months ago
- Sent𝕏Ment: Advanced Sentiment Analysis Tool☆13Aug 1, 2023Updated 3 years ago
- spy search cli is cli performs better than gemini cli☆13Jul 19, 2025Updated last year
- Models That Prove Their Own Correctness☆12Dec 11, 2024Updated last year
- An interactive learning playground to learn mechanical engines developed using claude fable 5☆25Jun 12, 2026Updated 5 months ago
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 7 months ago
- ProbFuzz: A Framework for Testing Probabilistic Programming Systems☆10Oct 22, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Rex Programming Language☆42Aug 24, 2026Updated 2 months ago
- ☆12May 26, 2026Updated 5 months ago
- ☆12Aug 24, 2025Updated last year
- tiny lang for differentiable tensors and reactive programming☆23Nov 5, 2026Updated last week
- ☆11Oct 11, 2022Updated 4 years ago
- Reconstruction of the Dimuon optimizer☆17Oct 28, 2026Updated 2 weeks ago
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆293Updated this week
- Co-inductive datatypes for Lean☆19Nov 5, 2026Updated last week
- [ICLR 2025 DATA-FM] Training and Evaluating Language Models with Template-based Data Generation (https://arxiv.org/abs/2411.18104)☆13May 13, 2026Updated 6 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆12Apr 11, 2026Updated 7 months ago
- Schemes in Lean (v2)☆46Jul 30, 2020Updated 6 years ago
- Building Agents with Swarm as the backend. Handoffs and Routines☆18Oct 27, 2024Updated 2 years ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆12May 18, 2025Updated last year
- A LeapJS compatible server for Ultraleap Gemini V5 and above☆17Feb 19, 2025Updated last year
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆17Dec 12, 2025Updated 11 months ago
- ☆20Jun 10, 2026Updated 5 months ago
Are these results useful?