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 5 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☆18Jul 25, 2025Updated last year
- VeriPy is a python based Verilog/Systemverilog automation tool. It automates ports/wire/reg/logic declarations, sub-module Instantiation,…☆38Jun 16, 2026Updated 2 months ago
- A2B Neural Rendering of Ambisonic Recordings to Binaural☆20Aug 5, 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.
- ☆23May 26, 2026Updated 3 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
- Frama-C plugins for deadlock and data race detection☆15Feb 18, 2026Updated 6 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
- ☆16Aug 13, 2026Updated 3 weeks ago
- [ICCV 2025] A Benchmark for Multi-Step Reasoning in Long Narrative Videos☆28Jun 4, 2026Updated 2 months ago
- GrapheneOS Mastodon server☆19Updated this week
- ☆17Nov 11, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A GitHub repository used to collaborate on recipes☆12Sep 1, 2015Updated 11 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
- Element's design system☆24Updated this week
- ☆28Nov 19, 2025Updated 9 months ago
- Stub repository for future branding of the OS including wallpapers, boot animations, etc.☆16Aug 13, 2026Updated 3 weeks ago
- Discovering environments with XRM☆18Dec 6, 2024Updated last year
- Interactive Assembler for Go.☆21Feb 19, 2025Updated last year
- Synthetic Data Generation with Execution-Based Verification and Grounding for LLM Training.☆23Feb 7, 2025Updated last year
- WorldSense benchmark for grounded reasoning in language models☆25Nov 28, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Updated this week
- 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
- Official implementation for our paper: Rethinking Video Tokenization: A Conditioned Diffusion-based Approach☆17Apr 2, 2025Updated last year
- Github action to connect to tailscale☆21Updated this week
- please go to angr/patcherex instead of this!☆34Sep 27, 2018Updated 7 years ago
- ☆21Updated this week
- Code, results and other artifacts from the paper introducing the WildChat-50m dataset and the Re-Wild model family.☆39Apr 1, 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 11 months 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.
- [ICLR 2026] ReWatch-R1: Boosting Complex Video Reasoning in Large Vision-Language Models through Agentic Data Synthesis☆30Mar 27, 2026Updated 5 months ago
- OCaml hacking ideas, small and large.☆21Apr 9, 2024Updated 2 years ago
- Dialer app☆28Updated this week
- JavaScript implementation of the Android fastboot protocol, using WebUSB☆22Aug 6, 2024Updated 2 years ago
- A course on building Large Language Models☆20Mar 24, 2025Updated last year
- A web service for scanning media hosted by a Matrix media repository☆25Updated this week
- Computationally friendly hyper-parameter search with DP-SGD☆27Jan 7, 2025Updated last year