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.
☆46Mar 31, 2026Updated 3 months ago
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☆17Apr 2, 2025Updated last year
- 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 13 years ago
- This repository is associated with the research paper titled ImageChain: Advancing Sequential Image-to-Text Reasoning in Multimodal Large…☆15Jun 4, 2025Updated last year
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆14Apr 4, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- ☆27Sep 21, 2022Updated 3 years ago
- Official Code for: "DC-SAM: In-Context Segment Anything in Images and Videos via Dual Consistency"☆56Dec 26, 2025Updated 6 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- implementation of dualformer☆25Mar 1, 2025Updated last year
- Paper Transformation and Streaming - The Runner-Up at Call For Code IBM SoICT Hackathon 2020.☆11Jul 26, 2023Updated 2 years ago
- Enhancing Medical Question-Answering System through Advanced Information Retrieval Strategies☆34Sep 25, 2025Updated 9 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated last month
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆22Jun 15, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CutDiffusion: A Simple, Fast, Cheap, and Strong Diffusion Extrapolation Method☆27Oct 9, 2025Updated 8 months ago
- ☆17Jan 30, 2024Updated 2 years ago
- ☆107Jun 2, 2026Updated last month
- Emacs Org-mode integration with Model Context Protocol (MCP) for AI-assisted task management☆62Updated this week
- Benchmark repository of polyglot effect handler examples☆36Aug 21, 2025Updated 10 months ago
- Skills for writing tilelang and debugging with CUDA toolkits.☆127May 20, 2026Updated last month
- library learning w egraphs☆28May 31, 2023Updated 3 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years 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.
- Data Efficacy for Language Model Training☆50May 29, 2026Updated last month
- The official implementation of "Sparse-vDiT: Unleashing the Power of Sparse Attention to Accelerate Video Diffusion Transformers" (arXiv …☆52Jun 6, 2025Updated last year
- [NeurIPS 2025] Official implementation of "Reasoning Path Compression: Compressing Generation Trajectories for Efficient LLM Reasoning"☆32Oct 20, 2025Updated 8 months ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- T2I-Copilot: A Training-Free Multi-Agent Text-to-Image System for Enhanced Prompt Interpretation and Interactive Generation (ICCV'25)☆55Oct 6, 2025Updated 8 months ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 5 years ago
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Aug 15, 2023Updated 2 years ago
- A high-performance, in-memory vector database written in Rust, designed for semantic search and top-k nearest neighbor queries in AI-driv…☆26Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 4 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 4 years ago
- ☆41May 15, 2025Updated last year
- A Static Differential Analysis Tool of Network Protocol Parsers☆30Feb 21, 2024Updated 2 years ago
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Feb 28, 2023Updated 3 years ago
- ☆13Jan 17, 2024Updated 2 years ago