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:
- [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
- Patch management tool for git submodules☆16Jul 25, 2025Updated 11 months ago
- VeriPy is a python based Verilog/Systemverilog automation tool. It automates ports/wire/reg/logic declarations, sub-module Instantiation,…☆38Jun 16, 2026Updated last month
- A2B Neural Rendering of Ambisonic Recordings to Binaural☆20Aug 5, 2025Updated 11 months ago
- CHAI is a library for dynamic pruning of attention heads for efficient LLM inference.☆24Dec 11, 2024Updated 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.
- Demo web client for using matrix-files-sdk☆17Jan 31, 2025Updated last year
- Frama-C plugins for deadlock and data race detection☆15Feb 18, 2026Updated 5 months ago
- Deep Reinforcement Learning Agent to control Conway's Game of Life☆14Dec 10, 2018Updated 7 years 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
- ☆15Jul 16, 2026Updated last week
- Python interface for https//github.com/facebookresearch/vrs.☆58Updated this week
- ☆17Nov 11, 2021Updated 4 years 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A list of geospatial datasets on NASA's Common Metadata Repository (CMR)☆34Updated this week
- A GitHub repository used to collaborate on recipes☆11Sep 1, 2015Updated 10 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 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
- ☆20Jun 17, 2020Updated 6 years ago
- Element's design system☆26Updated this week
- ☆28Nov 19, 2025Updated 8 months ago
- ☆12Updated this week
- Stub repository for future branding of the OS including wallpapers, boot animations, etc.☆16Jul 16, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Discovering environments with XRM☆18Dec 6, 2024Updated last year
- Interactive Assembler for Go.☆20Feb 19, 2025Updated last year
- Synthetic Data Generation with Execution-Based Verification and Grounding for LLM Training.☆22Feb 7, 2025Updated last year
- implementation of dualformer☆25Mar 1, 2025Updated last year
- WorldSense benchmark for grounded reasoning in language models☆25Nov 28, 2023Updated 2 years ago
- Contains dataset and source code for the thesis "Generative AI for Business Process Management - Suitability of Modalities". Aims to eval…☆19Mar 7, 2025Updated last year
- ☆17Updated this week
- Official implementation for our paper: Rethinking Video Tokenization: A Conditioned Diffusion-based Approach☆17Apr 2, 2025Updated last year
- Github action to connect to tailscale☆20Jun 8, 2026Updated last month
- 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.
- ☆18Updated 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
- Local Storage service provides local storage and disk management functionalities to CasaOS☆15Apr 17, 2025Updated last year
- A leaderboard for local app discovery☆10Jul 19, 2024Updated 2 years ago
- SwiftUI implementation of the Compound design system☆19Sep 30, 2025Updated 9 months ago
- Command to run a dev-server, build etc. with OpenPGP. On top of webpack.☆13Aug 11, 2021Updated 4 years ago