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.
☆48Mar 31, 2026Updated 6 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:
- A2B Neural Rendering of Ambisonic Recordings to Binaural☆20Aug 5, 2025Updated last year
- ☆24Oct 6, 2026Updated last week
- CHAI is a library for dynamic pruning of attention heads for efficient LLM inference.☆24Dec 11, 2024Updated last year
- ☆29Aug 21, 2025Updated last year
- Frama-C plugins for deadlock and data race detection☆15Oct 5, 2026Updated last 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.
- SRAM macros created for the GF180MCU provided by GlobalFoundries.☆20Apr 10, 2023Updated 3 years ago
- ☆34Jul 15, 2025Updated last year
- Quantum circuits compiler with staging and continuations☆18Nov 19, 2024Updated last year
- 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
- ☆17Jul 16, 2020Updated 6 years ago
- GrapheneOS Mastodon server☆19Oct 5, 2026Updated last 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 8 years ago
- Implementation of Multiobjective Tree-structured Parzen Estimator☆15Mar 19, 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.
- ☆21Jun 17, 2020Updated 6 years ago
- ☆29Nov 19, 2025Updated 10 months ago
- ☆12Jul 19, 2026Updated 2 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- 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…☆18Mar 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☆23Aug 28, 2026Updated last month
- A cyclic theorem prover framework.☆34Oct 2, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Multimodal RewardBench☆69Feb 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
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆43Feb 15, 2024Updated 2 years ago
- PCB libraries and templates for rocket-chip based FPGA/ASIC designs☆19Jun 4, 2026Updated 4 months ago
- [ICLR 2026] ReWatch-R1: Boosting Complex Video Reasoning in Large Vision-Language Models through Agentic Data Synthesis☆31Mar 27, 2026Updated 6 months ago
- OCaml hacking ideas, small and large.☆21Apr 9, 2024Updated 2 years ago
- SwiftUI implementation of the Compound design system☆19Sep 30, 2025Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- A leaderboard for local app discovery☆10Jul 19, 2024Updated 2 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.
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆77Jan 15, 2025Updated last year
- Command to run a dev-server, build etc. with OpenPGP. On top of webpack.☆13Aug 11, 2021Updated 5 years ago
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆23Updated this week
- Dialer app☆30Oct 7, 2026Updated last week
- ViewUs helps you seamlessly collect and manage customer testimonials.No Developers, No complex setup.☆14Aug 6, 2025Updated last year
- A website dedicated to collecting information from the nostr network☆12Aug 31, 2025Updated last year
- files for pihole fail2ban☆10Jun 21, 2019Updated 7 years ago