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 2 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:
- 手搓Llama，个人学习用☆16May 21, 2024Updated 2 years ago
- Official implementation for our paper: Rethinking Video Tokenization: A Conditioned Diffusion-based Approach☆15Apr 2, 2025Updated last year
- Frama-C plugins for deadlock and data race detection☆15Feb 18, 2026Updated 3 months ago
- PiFlow: Principle-aware Scientific Discovery with Multi-Agent Collaboration☆46Jan 7, 2026Updated 5 months 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The ExpressOS kernel☆17Jun 7, 2013Updated 13 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
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆14Apr 4, 2023Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- ☆12Jul 1, 2025Updated 11 months ago
- implementation of dualformer☆25Mar 1, 2025Updated last year
- MAG-SQL: Multi-Agent Generative Approach with Soft Schema Linking and Iterative Sub-SQL Refinement for Text-to-SQL☆19Jul 10, 2025Updated 11 months ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Feb 15, 2024Updated 2 years ago
- [EMNLP 2025 Main] Official implementation of VRoPE: Rotary Position Embedding for Video Large Language Models.☆28Nov 18, 2025Updated 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.
- ☆18Jan 31, 2026Updated 4 months ago
- Enhancing Medical Question-Answering System through Advanced Information Retrieval Strategies☆33Sep 25, 2025Updated 8 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated last month
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆45Jun 11, 2025Updated last year
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆22May 13, 2026Updated last month
- files for pihole fail2ban☆10Jun 21, 2019Updated 6 years ago
- Repository for SF2SE3: Clustering Scene Flow into SE(3)-Motions via Proposal and Selection☆12Jul 26, 2024Updated last year
- CutDiffusion: A Simple, Fast, Cheap, and Strong Diffusion Extrapolation Method☆27Oct 9, 2025Updated 8 months ago
- Amiigo offline utility☆12Jun 8, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Common interface for tracing/instrumentation libraries in OCaml☆35May 8, 2026Updated last month
- OCaml hacking ideas, small and large.☆20Apr 9, 2024Updated 2 years ago
- ☆17Jan 30, 2024Updated 2 years ago
- ☆103Jun 2, 2026Updated last week
- 📋 A plugin for Eleventy to validate collection data.☆12Updated this week
- Benchmark repository of polyglot effect handler examples☆36Aug 21, 2025Updated 9 months ago
- Building GPT ...☆18Dec 1, 2024Updated last year
- Task-Adaptive Feature Sub-Space Learning for few-shot classification☆12Sep 26, 2020Updated 5 years ago
- library learning w egraphs☆28May 31, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Small PDF manipulation scripts☆16Apr 16, 2025Updated last year
- ☆19Jan 30, 2026Updated 4 months ago
- Data Efficacy for Language Model Training☆49May 29, 2026Updated 2 weeks ago
- A tool for auditing Rust crates☆40Updated this week
- [NeurIPS 2025] Official implementation of "Reasoning Path Compression: Compressing Generation Trajectories for Efficient LLM Reasoning"☆33Oct 20, 2025Updated 7 months ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- A settings generator and loader powered by APITable☆11Dec 19, 2022Updated 3 years ago