by facebookresearch · Agent Tool · ★ 43
Polymath Agent leveraging auxiliary tools to improve performance in selected problem domains. This is the reproduction package for our research paper Logic.py: Bridging the Gap between LLMs and Constraint Solvers. Project configuration Initial Setup 1) Currently, there is no default LLM inference provider availabe. We use an internal provider for our experiments, which is not part of the open source release. To get started, create an implementation of for your inference back-end, e.g. in .
| Stars | 43 |
| Forks | 11 |
| Language | Python |
| Category | Agent Tool |
| Quality Score | 59.3841803042459/100 |
| Last Updated | 2026-03-31 |
| Created | 2025-02-05 |
| Platforms | python |
| Est. Tokens | ~10k |
These tools work well together with polymath for enhanced workflows:
Explore other popular agent tool tools:
polymath is 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 . It is categorized as a Agent Tool with 43 GitHub stars.
polymath is primarily written in Python.
You can find installation instructions and usage details in the polymath GitHub repository at github.com/facebookresearch/polymath. The project has 43 stars and 11 forks, indicating an active community.