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.
☆47Mar 31, 2026Updated 4 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:
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆46Jun 11, 2025Updated last year
- FunSeeker: Binary Function Identification Tool☆26Dec 23, 2023Updated 2 years ago
- Patch management tool for git submodules☆17Jul 25, 2025Updated last year
- A2B Neural Rendering of Ambisonic Recordings to Binaural☆20Aug 5, 2025Updated last year
- Using RASA post-training to remove positional bias from pretrained encoders like DINOv3☆16Feb 8, 2026Updated 6 months ago
- 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.
- ☆23May 26, 2026Updated 2 months ago
- CHAI is a library for dynamic pruning of attention heads for efficient LLM inference.☆24Dec 11, 2024Updated last year
- Demo web client for using matrix-files-sdk☆17Jan 31, 2025Updated last year
- ☆29Aug 21, 2025Updated 11 months ago
- BigOBench assesses the capacity of Large Language Models (LLMs) to comprehend time-space computational complexity of input or generated c…☆43Apr 15, 2025Updated last year
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- [ICCV 2025] A Benchmark for Multi-Step Reasoning in Long Narrative Videos☆28Jun 4, 2026Updated 2 months ago
- GrapheneOS Mastodon server☆19Aug 4, 2026Updated last week
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A GitHub repository used to collaborate on recipes☆12Sep 1, 2015Updated 10 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- ☆28Nov 19, 2025Updated 8 months ago
- ☆12Jul 19, 2026Updated 3 weeks ago
- A research workbench for developing and testing attacks against large language models, with a focus on prompt injection vulnerabilities a…☆60Jul 24, 2026Updated 3 weeks ago
- Code release for "CURIE: Evaluating LLMs On Multitask Scientific Long Context Understanding and Reasoning", ICLR 2025☆34Apr 21, 2025Updated last year
- Discovering environments with XRM☆18Dec 6, 2024Updated last year
- Speech MCP: A Goose MCP extension for voice interaction with audio visualization☆83Oct 23, 2025Updated 9 months ago
- Synthetic Data Generation with Execution-Based Verification and Grounding for LLM Training.☆22Feb 7, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- implementation of dualformer☆25Mar 1, 2025Updated last year
- WorldSense benchmark for grounded reasoning in language models☆25Nov 28, 2023Updated 2 years ago
- Official implementation for our paper: Rethinking Video Tokenization: A Conditioned Diffusion-based Approach☆17Apr 2, 2025Updated last year
- Github action to connect to tailscale☆21Jun 8, 2026Updated 2 months ago
- A cyclic theorem prover framework.☆34Updated this week
- Multimodal RewardBench☆68Feb 21, 2025Updated last year
- Code, results and other artifacts from the paper introducing the WildChat-50m dataset and the Re-Wild model family.☆39Apr 1, 2025Updated last year
- PCB libraries and templates for rocket-chip based FPGA/ASIC designs☆19Jun 4, 2026Updated 2 months ago
- Local Storage service provides local storage and disk management functionalities to CasaOS☆15Apr 17, 2025Updated last year
- 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.
- A leaderboard for local app discovery☆10Jul 19, 2024Updated 2 years ago
- ☆17Nov 9, 2025Updated 9 months ago
- OCaml hacking ideas, small and large.☆21Apr 9, 2024Updated 2 years ago
- Python client library for https://mcp.run - call portable & secure tools for your AI Agents and Apps☆25May 8, 2025Updated last year
- ☆17Jun 3, 2024Updated 2 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆77Jan 15, 2025Updated last year
- A plugin for MusicBee to retrieve lyrics from animelyrics.com.☆10Jan 9, 2016Updated 10 years ago