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.
☆45Mar 31, 2026Updated last month
Alternatives and similar repositories for polymath
Users that are interested in polymath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official implementation for our paper: Rethinking Video Tokenization: A Conditioned Diffusion-based Approach☆13Apr 2, 2025Updated last year
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated 3 months ago
- PiFlow: Principle-aware Scientific Discovery with Multi-Agent Collaboration☆44Jan 7, 2026Updated 4 months ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- ☆27Sep 21, 2022Updated 3 years ago
- 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.
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- ☆12Jul 1, 2025Updated 10 months ago
- implementation of dualformer☆25Mar 1, 2025Updated last year
- Prettiest C++ generator/coroutine implementation.☆14Dec 17, 2015Updated 10 years ago
- MAG-SQL: Multi-Agent Generative Approach with Soft Schema Linking and Iterative Sub-SQL Refinement for Text-to-SQL☆19Jul 10, 2025Updated 10 months ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Feb 15, 2024Updated 2 years ago
- please go to angr/patcherex instead of this!☆33Sep 27, 2018Updated 7 years ago
- ☆17Jan 31, 2026Updated 3 months ago
- A plugin for MusicBee to retrieve lyrics from animelyrics.com.☆10Jan 9, 2016Updated 10 years ago
- 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.
- Enhancing Medical Question-Answering System through Advanced Information Retrieval Strategies☆33Sep 25, 2025Updated 8 months ago
- LG Hombot/Roboking Component for Home Assistant.☆11Jun 21, 2021Updated 4 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated last week
- ☆114Updated this week
- files for pihole fail2ban☆10Jun 21, 2019Updated 6 years ago
- CutDiffusion: A Simple, Fast, Cheap, and Strong Diffusion Extrapolation Method☆27Oct 9, 2025Updated 7 months ago
- Amiigo offline utility☆12Jun 8, 2016Updated 9 years ago
- Common interface for tracing/instrumentation libraries in OCaml☆35May 8, 2026Updated 2 weeks ago
- OCaml hacking ideas, small and large.☆20Apr 9, 2024Updated 2 years 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.
- Memory-efficient optimum einsum using opt_einsum planning and PyTorch kernels.☆16Apr 24, 2023Updated 3 years ago
- PedroPatch is a kernel driver module for the LG HomBot/Roboking VR6260 that allows to access its camera.☆11Jan 1, 2016Updated 10 years ago
- Implementation of Dueling Network Architectures for Deep Reinforcement Learning paper with Pytorch☆14Sep 26, 2020Updated 5 years ago
- Benchmark repository of polyglot effect handler examples☆36Aug 21, 2025Updated 9 months ago
- ☆23Dec 2, 2024Updated last year
- Task-Adaptive Feature Sub-Space Learning for few-shot classification☆12Sep 26, 2020Updated 5 years ago
- library learning w egraphs☆27May 31, 2023Updated 2 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- ☆19Jan 30, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DELT: Data Efficacy for Language Model Training☆46Feb 12, 2026Updated 3 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 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
- Portfolios for Creatives && Open Source Dribbble Alternative☆13Dec 28, 2025Updated 4 months ago
- The official implementation of "Sparse-vDiT: Unleashing the Power of Sparse Attention to Accelerate Video Diffusion Transformers" (arXiv …☆51Jun 6, 2025Updated 11 months ago
- [NeurIPS 2025] Official implementation of "Reasoning Path Compression: Compressing Generation Trajectories for Efficient LLM Reasoning"☆33Oct 20, 2025Updated 7 months ago
- Cerberus C semantics☆85Mar 26, 2026Updated last month