We introduce algebraic machine reasoning to solve Raven's Progressive Matrices (RPMs).
☆15Jul 2, 2025Updated 8 months ago
Alternatives and similar repositories for AlgebraicMR
Users that are interested in AlgebraicMR are comparing it to the libraries listed below
Sorting:
- Active Learning for Point Cloud Semantic Segmentation via Spatial-Structural Diversity Reasoning☆25Aug 28, 2024Updated last year
- This repository contains the code to reproduce the results presented in the paper BILP-Q: Quantum Coalition Structure Generation☆12Apr 19, 2022Updated 3 years ago
- lean code☆10Jan 3, 2025Updated last year
- ☆13Jul 8, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Python implementation of Hierarchical Dirichlet Processes☆12May 1, 2020Updated 5 years ago
- Deep Bayesian Active Semi-Supervised Learning☆11Mar 1, 2018Updated 8 years ago
- ☆12Jan 18, 2024Updated 2 years ago
- Solving Tic-Tac-Toe with Neural Networks.☆19Jan 28, 2019Updated 7 years ago
- [NeurIPS 2024] GACL: Exemplar-Free Generalized Analytic Continual Learning☆16Nov 5, 2024Updated last year
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- This is the source code of F-OAL: Forward-only Online Analytic Learning with Fast Training and Low Memory Footprint in Class Incremental …☆11Oct 19, 2024Updated last year
- Basic Unicode support for Lean 4☆15Updated this week
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- ☆16Jun 22, 2024Updated last year
- ☆13Jan 1, 2018Updated 8 years ago
- ☆10Sep 30, 2023Updated 2 years ago
- Processing and Visualization of Proteome-wide MS-CETSA data☆13Feb 9, 2023Updated 3 years ago
- CoPur: Certifiably Robust Collaborative Inference via Feature Purification (NeurIPS 2022)☆11Dec 7, 2022Updated 3 years ago
- C# library for 2D/3D geometric computation, mesh algorithms, and so on. Boost license.☆13Aug 25, 2023Updated 2 years ago
- Examples for the Spartan HPC cluster.☆10Sep 2, 2019Updated 6 years ago
- This repository serves as a demo for River and its associated clustering module (2022 edition).☆13Aug 21, 2023Updated 2 years ago
- A curated list of researches in object-centric learning☆11Oct 14, 2024Updated last year
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- ☆14Feb 26, 2026Updated last week
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- It is a VSCode theme which is based off of sublime text's monokai.☆10May 2, 2021Updated 4 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Feb 26, 2026Updated last week
- a Lean4 framework for the modeling and refinement of stateful systems☆25Dec 19, 2025Updated 2 months ago
- The benchmark for "Video Object Segmentation in Panoptic Wild Scenes".☆12Oct 17, 2023Updated 2 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 11 months ago
- ☆28Jan 11, 2026Updated last month
- Python scripts to parse Pokemon info from serebii.net☆10May 22, 2023Updated 2 years ago
- ☆13Aug 23, 2017Updated 8 years ago
- Potrace in GH☆12Sep 14, 2020Updated 5 years ago
- some papers about TDA☆13May 18, 2022Updated 3 years ago
- A date and time library for Lean 4☆14Apr 12, 2025Updated 10 months ago
- Official PyTorch implementation of our CVPR 2025 paper, "Revisiting Generative Replay for Class Incremental Object Detection."☆24Feb 26, 2026Updated last week
- Implementation for "DeltaPhi: Learning Physical Trajectory Residual for PDE Solving"☆13Jun 17, 2024Updated last year