lean-dojo / LeanAgent
โ22Updated 3 weeks ago
Alternatives and similar repositories for LeanAgent:
Users that are interested in LeanAgent are comparing it to the libraries listed below
- ๐งฎ Algebraic Positional Encodings.โ11Updated 2 months ago
- Evaluation of neuro-symbolic enginesโ35Updated 7 months ago
- A programming language for formal/informal computation.โ41Updated this week
- A package for defining deep learning models using categorical algebraic expressions.โ60Updated 8 months ago
- An environment for learning formal mathematical reasoning from scratchโ65Updated 7 months ago
- โ45Updated 6 months ago
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.โ18Updated 9 months ago
- Harmonic Datasetsโ36Updated 8 months ago
- Neural theorem proving tutorial, version IIโ34Updated 11 months ago
- Official repository for the paper "Can You Learn an Algorithm? Generalizing from Easy to Hard Problems with Recurrent Networks"โ60Updated 3 years ago
- Minimum Description Length probing for neural network representationsโ19Updated 2 months ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classificationโ11Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalizationโ34Updated 10 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Managementโ59Updated 2 months ago
- LLMs + Lean, on your laptop or in the cloudโ138Updated 5 months ago
- Implementation of Spectral State Space Modelsโ16Updated last year
- Official repository for the paper "Exploring the Promise and Limits of Real-Time Recurrent Learning" (ICLR 2024)โ11Updated last year
- โ60Updated 3 years ago
- Source-to-Source Debuggable Derivatives in Pure Pythonโ15Updated last year
- This is the official repository for all the code of TheoremLlamaโ39Updated 5 months ago
- ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices.โ15Updated last week
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"โ32Updated 4 years ago
- Quantification of Uncertainty with Adversarial Modelsโ28Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdfโ22Updated 10 months ago
- โ15Updated 6 months ago
- โ22Updated 11 months ago
- Fine-grained, dynamic control of neural network topology in JAX.โ21Updated last year
- Code associated to papers on superposition (in ML interpretability)โ28Updated 2 years ago
- The Energy Transformer block, in JAXโ56Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generatโฆโ27Updated last year