AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. This project aims to develop a robust and flexible AI system that can tackle complex problems in areas such as decision-making, mathematics, and programming.
☆41Aug 12, 2025Updated 7 months ago
Alternatives and similar repositories for polymath
Users that are interested in polymath are comparing it to the libraries listed below
Sorting:
- Official implementation for our paper: Rethinking Video Tokenization: A Conditioned Diffusion-based Approach☆14Apr 2, 2025Updated 11 months ago
- ☆16Jul 16, 2020Updated 5 years ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆13Dec 10, 2018Updated 7 years ago
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated last month
- A type of cellular automaton with the intent of simulating autopoiesis☆19Dec 13, 2024Updated last year
- SRAM macros created for the GF180MCU provided by GlobalFoundries.☆19Apr 10, 2023Updated 2 years ago
- Deep neural network architecture for representing robot experiences in an episodic-like memory which facilitates encoding, recalling, and…☆15Sep 12, 2018Updated 7 years ago
- The ExpressOS kernel☆17Jun 7, 2013Updated 12 years ago
- This repository is associated with the research paper titled ImageChain: Advancing Sequential Image-to-Text Reasoning in Multimodal Large…☆15Jun 4, 2025Updated 9 months ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- ☆18Jun 17, 2020Updated 5 years ago
- ☆12Jul 1, 2025Updated 8 months ago
- A framework to ease parallelization of sequential SAT solvers☆32Jan 14, 2026Updated 2 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- implementation of dualformer☆25Mar 1, 2025Updated last year
- [EMNLP 2025 Main] Official implementation of VRoPE: Rotary Position Embedding for Video Large Language Models.☆27Nov 18, 2025Updated 4 months ago
- ☆17Jan 31, 2026Updated last month
- A cyclic theorem prover framework.☆32Aug 21, 2025Updated 7 months ago
- A plugin for MusicBee to retrieve lyrics from animelyrics.com.☆10Jan 9, 2016Updated 10 years ago
- Enhancing Medical Question-Answering System through Advanced Information Retrieval Strategies☆29Sep 25, 2025Updated 5 months ago
- Paper Transformation and Streaming - The Runner-Up at Call For Code IBM SoICT Hackathon 2020.☆11Jul 26, 2023Updated 2 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆24Jan 4, 2026Updated 2 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Updated this week
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆21Mar 9, 2026Updated last week
- Repository for SF2SE3: Clustering Scene Flow into SE(3)-Motions via Proposal and Selection☆12Jul 26, 2024Updated last year
- Emacs Org-mode integration with Model Context Protocol (MCP) for AI-assisted task management☆45Jan 13, 2026Updated 2 months ago
- Repository for ONNX SIG artifacts☆26Feb 14, 2026Updated last month
- Amiigo offline utility☆12Jun 8, 2016Updated 9 years ago
- Common interface for tracing/instrumentation libraries in OCaml☆34Mar 3, 2026Updated 2 weeks ago
- Memory-efficient optimum einsum using opt_einsum planning and PyTorch kernels.☆16Apr 24, 2023Updated 2 years ago
- OCaml hacking ideas, small and large.☆20Apr 9, 2024Updated last year
- ☆17Jan 30, 2024Updated 2 years ago
- 📋 A plugin for Eleventy to validate collection data.☆10Mar 11, 2026Updated last week
- Task-Adaptive Feature Sub-Space Learning for few-shot classification☆12Sep 26, 2020Updated 5 years ago
- ☆23Dec 2, 2024Updated last year
- ☆16Jan 30, 2026Updated last month
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- Master MVA, ENS Cachan, France: 3D Point Cloud Processing. Implementation of the research article "Segmentation Based Classification of 3…☆15Oct 3, 2019Updated 6 years ago