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 week
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:
- FunSeeker: Binary Function Identification Tool☆26Dec 23, 2023Updated 2 years ago
- Official implementation for our paper: Rethinking Video Tokenization: A Conditioned Diffusion-based Approach☆14Apr 2, 2025Updated last year
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated last month
- PiFlow: Principle-aware Scientific Discovery with Multi-Agent Collaboration☆43Jan 7, 2026Updated 3 months 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- This repository is associated with the research paper titled ImageChain: Advancing Sequential Image-to-Text Reasoning in Multimodal Large…☆15Jun 4, 2025Updated 10 months ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- ☆12Jul 1, 2025Updated 9 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- implementation of dualformer☆25Mar 1, 2025Updated last year
- MAG-SQL: Multi-Agent Generative Approach with Soft Schema Linking and Iterative Sub-SQL Refinement for Text-to-SQL☆18Jul 10, 2025Updated 9 months ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Feb 15, 2024Updated 2 years ago
- [EMNLP 2025 Main] Official implementation of VRoPE: Rotary Position Embedding for Video Large Language Models.☆27Nov 18, 2025Updated 4 months ago
- ☆17Jan 31, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [NeurIPS 2025] Sparse Autoencoders Learn Monosemantic Features in Vision-Language Models☆74Nov 27, 2025Updated 4 months ago
- 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☆29Sep 25, 2025Updated 6 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Mar 19, 2026Updated 3 weeks ago
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆21Mar 9, 2026Updated last month
- Emacs Org-mode integration with Model Context Protocol (MCP) for AI-assisted task management☆47Mar 19, 2026Updated 3 weeks ago
- CutDiffusion: A Simple, Fast, Cheap, and Strong Diffusion Extrapolation Method☆27Oct 9, 2025Updated 6 months ago
- ☆17Jan 30, 2024Updated 2 years ago
- ☆23Dec 2, 2024Updated last year
- 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.
- library learning w egraphs☆26May 31, 2023Updated 2 years ago
- Small PDF manipulation scripts☆15Apr 16, 2025Updated 11 months ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- The official implementation of "Sparse-vDiT: Unleashing the Power of Sparse Attention to Accelerate Video Diffusion Transformers" (arXiv …☆51Jun 6, 2025Updated 10 months ago
- [NeurIPS 2025] Official implementation of "Reasoning Path Compression: Compressing Generation Trajectories for Efficient LLM Reasoning"☆32Oct 20, 2025Updated 5 months ago
- T2I-Copilot: A Training-Free Multi-Agent Text-to-Image System for Enhanced Prompt Interpretation and Interactive Generation (ICCV'25)☆47Oct 6, 2025Updated 6 months ago
- Cerberus C semantics☆81Mar 26, 2026Updated 2 weeks ago
- A settings generator and loader powered by APITable☆11Dec 19, 2022Updated 3 years ago
- Common Objects Day and Night image dataset.☆15Nov 16, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ElevenLabs Agent with Storefront MCP UI Server & MCP UI client☆21Nov 14, 2025Updated 4 months ago
- Open source project to help the Web3 community fight frauds and scams.☆18Feb 7, 2024Updated 2 years ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- Official implementation of Next Block Prediction: Video Generation via Semi-Autoregressive Modeling☆41Feb 12, 2025Updated last year
- latexdiff helper for git☆26Feb 14, 2022Updated 4 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 last month
- [CVPR 2025] Zero-1-to-A: Zero-Shot One Image to Animatable Head Avatars Using Video Diffusion☆44Mar 21, 2025Updated last year