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.
☆49Mar 31, 2026Updated 7 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:
- Solving Logic Grid Puzzles with Part-of-Speech Tagging and First-Order Logic☆11Dec 18, 2016Updated 9 years ago
- A2B Neural Rendering of Ambisonic Recordings to Binaural☆22Aug 5, 2025Updated last year
- Aria Training and Evaluation Kit☆33Mar 21, 2026Updated 7 months ago
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆47Jun 11, 2025Updated last year
- Directed masked autoencoders☆15Mar 25, 2026Updated 7 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.
- VeriPy is a python based Verilog/Systemverilog automation tool. It automates ports/wire/reg/logic declarations, sub-module Instantiation,…☆38Oct 4, 2026Updated last month
- Official implementation of AdvGame https//arxiv.org/abs/2512.20806☆22May 6, 2026Updated 5 months ago
- We introduce CausalVQA, a benchmark dataset for video question answering (VQA) composed of question-answer pairs that probe models’ under…☆63Aug 18, 2025Updated last year
- ☆25Oct 14, 2026Updated 3 weeks ago
- TestGenEval A Real World Unit Test Generation and Test Completion Benchmark☆37Mar 12, 2026Updated 7 months ago
- ☆17Apr 9, 2025Updated last year
- Code for VoxelCodeBench.☆15Apr 6, 2026Updated 6 months ago
- ☆29Aug 21, 2025Updated last year
- 手搓Llama，个人学习用☆16May 21, 2024Updated 2 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.
- Source implementation and dataset for paper "AssoMem Scalable Memory QA with Multi-Signal Associative Retrieval"☆12May 17, 2026Updated 5 months ago
- ☆16Updated this week
- Official Code Repository for the paper "LILO Bayesian Optimization with Natural Language Feedback".☆18May 12, 2026Updated 5 months ago
- Quantum circuits compiler with staging and continuations☆19Nov 19, 2024Updated last year
- BigOBench assesses the capacity of Large Language Models (LLMs) to comprehend time-space computational complexity of input or generated c…☆44Apr 15, 2025Updated last year
- GrapheneOS Mastodon server☆21Updated this week
- [ICCV 2025] A Benchmark for Multi-Step Reasoning in Long Narrative Videos☆28Jun 4, 2026Updated 5 months ago
- Code for Dayal Kalra's research internship on scalable curvature measures for neural networks.☆33Feb 3, 2026Updated 9 months ago
- Dataset and evaluation benchmark for Privacy Leakage Evaluation of Autonomous Web Agents☆50Apr 18, 2026Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Quantize transformers to any learned arbitrary 4-bit numeric format☆61Jul 2, 2026Updated 4 months ago
- This repository contains code for evaluating video-language models on the Wearable Agent Benchmark along with links to download the datas…☆13Jun 11, 2026Updated 4 months ago
- Official implementation for SSDD Single-Step Diffusion Decoder for Efficient Image Tokenization.☆68Mar 16, 2026Updated 7 months ago
- ☆12Jul 19, 2026Updated 3 months ago
- Element's design system☆25Updated this week
- Visualization playground for sparse autoencoders using BERT & GloVe☆10Dec 3, 2024Updated last year
- ☆29Oct 19, 2026Updated 2 weeks ago
- Moved to https://github.com/microsoft/beachball/tree/main/renovate☆18Oct 14, 2026Updated 3 weeks ago
- ☆17Updated this week
- 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.
- ☆14Oct 27, 2026Updated last week
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- Human-centric environment representations from egocentric video☆16Feb 5, 2026Updated 9 months ago
- SwiftUI implementation of the Compound design system☆19Sep 30, 2025Updated last year
- Stub repository for future branding of the OS including wallpapers, boot animations, etc.☆18Updated this week
- WorldSense benchmark for grounded reasoning in language models☆25Nov 28, 2023Updated 2 years ago
- MRS.Q is a model-based reinforcement learning algorithm that selects actions with search.☆17Feb 17, 2026Updated 8 months ago