☆18Apr 2, 2026Updated 3 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☆579Jun 15, 2026Updated last month
- [Lanser-CLI] Official Implementation of "Reinforcement Learning from Compiler and Language Server Feedback" (https://arxiv.org/abs/2510.2…☆18Jun 15, 2026Updated last month
- ☆12Oct 24, 2023Updated 2 years ago
- SorryDB indexes sorries in public lean repositories☆52Jun 22, 2026Updated 3 weeks ago
- Code release for "Strike a Balance in Continual Panoptic Segmentation" (ECCV 2024)☆14Mar 14, 2025Updated last year
- 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.
- ☆49Apr 12, 2026Updated 3 months ago
- Proving polynomial inequalities with sum-of-squares certificates☆29Apr 4, 2026Updated 3 months ago
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆16Jun 29, 2026Updated 2 weeks ago
- This is the list I wish I'd started ages ago☆10Apr 20, 2018Updated 8 years ago
- [CVPR2025] Rethinking Query-based Transformer for Continual Image Segmentation☆49Jul 16, 2025Updated last year
- Code for the paper: Kernel Distributionally Robust Optimization☆13Feb 21, 2021Updated 5 years ago
- A Lean4 Formalization of Polynomial Functors☆29Updated this week
- interactively identify related Authors on arxiv☆14Sep 22, 2023Updated 2 years ago
- ☆21May 17, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 5 months ago
- ☆23Jul 10, 2025Updated last year
- Android onActivityResult wrapper powered by RxJava☆14Sep 3, 2017Updated 8 years ago
- Accompanying code for our NeurIPS 2019 paper☆11Nov 7, 2019Updated 6 years ago
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆32Apr 8, 2026Updated 3 months ago
- A proof of concept of a shared mathematical environment without need for version control or naming synchronization.☆25Mar 20, 2026Updated 3 months ago
- Example repo showcasing model training and deployment with distil claude cli skill☆54Jan 19, 2026Updated 5 months ago
- ☆15Jul 6, 2015Updated 11 years ago
- The public website for AllenNLP.☆10Feb 3, 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.
- This repo documents some of my drafted solutions to the exercises from All of Statistics by Larry Wasserman. This repo only contains solu…☆17Jan 3, 2019Updated 7 years ago
- General benchmarking apparatus for running multi-agent systems against benchmarks☆46Apr 13, 2026Updated 3 months ago
- Code for the paper on t-SNE with variable degree of freedom☆11Jun 27, 2019Updated 7 years ago
- Xmixers: A collection of SOTA efficient token/channel mixers☆28Sep 4, 2025Updated 10 months ago
- ☆13Feb 27, 2024Updated 2 years ago
- Learn Japanese using music. Frontend written in Nuxt.js and optional backend using Litserve☆21Jun 2, 2025Updated last year
- Application of Retrieval-Augmented Reasoning on a domain-specific body of knowledge☆35Jul 8, 2026Updated last week
- Learning without Forgetting for Vision-Language Models (TPAMI 2025)☆64Jul 3, 2025Updated last year
- ICD-10 nternational Statistical Classification of Diseases and Related Health Problems - Ground Truth and some Experimental R Code for N…☆14May 14, 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.
- Code repo for MathAgent☆20Dec 15, 2023Updated 2 years ago
- Does Socialization Emerge in AI Agent Society? A Case Study of Moltbook☆18Feb 17, 2026Updated 4 months ago
- OpenClaw plugin for Momo memory☆15Feb 11, 2026Updated 5 months ago
- ☆16Apr 20, 2018Updated 8 years ago
- Host a graph database such as OrientDB on IBM Container Service using Kubernetes APIs☆12Apr 22, 2019Updated 7 years ago
- The project of recognizing handwritten digits found in mnist dataset by the use of Neural Networks(Feedforward Fully Connected)☆11Sep 22, 2022Updated 3 years ago
- ☆20Jan 10, 2025Updated last year