We introduce algebraic machine reasoning to solve Raven's Progressive Matrices (RPMs).
☆15Jul 2, 2025Updated last year
Alternatives and similar repositories for AlgebraicMR
Users that are interested in AlgebraicMR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Code for CoToGrasp: Contact-Topology-Conditioned Dexterous Grasp Synthesis via Canonical Workspace Learning☆13Aug 24, 2026Updated 2 months ago
- An ott-like DSL embedded in Lean.☆22Oct 15, 2026Updated 2 weeks ago
- ☆15Sep 6, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- GAF: Gaussian Action Field as a Dynamic World Model for Robotic Manipulation☆22Jun 11, 2026Updated 4 months ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 10 months ago
- ☆34Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Stratified Rule-Aware Network for Abstract Visual Reasoning, AAAI 2021☆38Aug 18, 2022Updated 4 years ago
- DCR js editor☆11Oct 21, 2026Updated 2 weeks ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 5 months ago
- ☆13Jul 8, 2024Updated 2 years ago
- ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices.☆25Sep 18, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- ☆11Feb 17, 2025Updated last year
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- Draw SLDNF trees in LaTeX☆10May 7, 2025Updated last year
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆18Updated this week
- An implementation of the ASPIC+ framework for structured argumentation.☆16Updated this week
- ☆12Feb 15, 2024Updated 2 years ago
- A date and time library for Lean 4☆15Apr 12, 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.
- ☆17Jun 22, 2024Updated 2 years ago
- A Lean4 Formalization of Polynomial Functors☆30Jul 10, 2026Updated 3 months ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- Verified Lean typechecker☆16Updated this week
- Expert system for coastal navigation prototype☆11Oct 23, 2016Updated 10 years ago
- Type Checking in Lean 4☆42Mar 22, 2026Updated 7 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- ☆15Updated this week
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Oct 17, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Reference compiler for c0☆43Apr 7, 2026Updated 6 months ago
- A certified checker for Datalog entailments, written in Lean☆14Oct 22, 2026Updated last week
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- IPHYRE: Interactive Physical Reasoning, ICLR 2024☆19Oct 18, 2024Updated 2 years ago
- [AAAI'22] (ORAL) LaSSL: Label-Guided Self-Training for Semi-Supervised Learning☆18Dec 7, 2021Updated 4 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆16Mar 3, 2024Updated 2 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago