LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.
☆55Jun 13, 2025Updated 8 months ago
Alternatives and similar repositories for LeanAgent
Users that are interested in LeanAgent are comparing it to the libraries listed below
Sorting:
- Investigating Robustness and Interpretability of Link Prediction via Adversarial Modifications☆19Jul 20, 2020Updated 5 years ago
- A template for blueprint-driven formalization projects in Lean.☆95Feb 23, 2026Updated last week
- Plan✕ is a platform for creating and publishing digital planning services☆17Feb 26, 2026Updated last week
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Feb 24, 2026Updated last week
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆12Nov 12, 2024Updated last year
- ☆54Jan 28, 2026Updated last month
- Connectivity notification tool for Android☆11Oct 25, 2014Updated 11 years ago
- Johann, the lightweight and flexible scenario orchestrator☆12Oct 3, 2022Updated 3 years ago
- Annotated faces for NOAA Right Whale Recognition Kaggle competition☆35Nov 26, 2015Updated 10 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Webpipes is a work-in-progress proposal for linking together web services. Essentially, you can think of webpipes as tiny web services mo…☆21Sep 4, 2013Updated 12 years ago
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Updated this week
- Universe website☆10Mar 3, 2023Updated 3 years ago
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago
- The code for the paper "A Bayesian Approach to Online Planning" published in ICML 2024.☆13Jun 17, 2024Updated last year
- PDF Screenshot OCR Analysis with Google Gemini Pro☆13Jan 27, 2026Updated last month
- Spring 2018 - 10.009 Digital World 1D Project☆42Jan 23, 2019Updated 7 years ago
- Analyze and cure awesome lists by collecting, processing and presenting data from listed Git projects.☆19Oct 12, 2025Updated 4 months ago
- Python Toolbox For Rosetta Silent Files Processing☆10Aug 2, 2021Updated 4 years ago
- Documents, Data, and Code. The NCX Methodology For Improved Forest Management (IFM) Through Short-Term Harvest Deferral.☆11Apr 25, 2023Updated 2 years ago
- Tweet from Kivy on Android☆12Oct 8, 2013Updated 12 years ago
- Source Code for 'Linux Containers and Virtualization' by Shashank Mohan Jain☆15Oct 16, 2020Updated 5 years ago
- ☆45Sep 21, 2024Updated last year
- Neural machine translation with Recurrent Deterministic Policy Gradient☆10Aug 18, 2016Updated 9 years ago
- ☆21Jan 4, 2026Updated 2 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆19Jul 14, 2025Updated 7 months ago
- Satellite product browser☆25Feb 22, 2026Updated last week
- Helper function for Markov State Models☆11Jun 25, 2024Updated last year
- Open Data Product Specification 3.0☆10Nov 28, 2024Updated last year
- Enable Lacona to parse natural language dates, times, and both together☆10Nov 18, 2016Updated 9 years ago
- Code for "Using Embeddings to Correct for Unobserved Confounding"☆10May 31, 2019Updated 6 years ago
- Repository containing all my presentations/tutorials/talks.☆10Sep 16, 2022Updated 3 years ago
- The NASA Prognostics As-A-Service (PaaS) Sandbox is a simplified implementation of a Software Oriented Architecture (SOA) for performing …☆10Jun 18, 2025Updated 8 months ago
- A realtime WebGL/physics kite simulator☆14Jan 7, 2023Updated 3 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago