facebookresearch / polymathLinks
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.
☆26Updated 2 months ago
Alternatives and similar repositories for polymath
Users that are interested in polymath are comparing it to the libraries listed below
Sorting:
- ☆42Updated 10 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆69Updated 6 months ago
- ☆65Updated last year
- This is the official repository for all the code of TheoremLlama☆43Updated 9 months ago
- Resa: Transparent Reasoning Models via SAEs☆40Updated last month
- BigOBench assesses the capacity of Large Language Models (LLMs) to comprehend time-space computational complexity of input or generated c…☆35Updated 3 months ago
- Esoteric Language Models☆89Updated last week
- ☆10Updated 3 months ago
- The official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)☆35Updated last week
- Train, tune, and infer Bamba model☆130Updated last month
- [ACL 2024] Do Large Language Models Latently Perform Multi-Hop Reasoning?☆71Updated 4 months ago
- Synthetic data generation and benchmark implementation for "Episodic Memories Generation and Evaluation Benchmark for Large Language Mode…☆49Updated 3 months ago
- ☆50Updated last year
- Official implementation of "Reasoning Path Compression: Compressing Generation Trajectories for Efficient LLM Reasoning"☆19Updated last month
- ☆27Updated this week
- ☆35Updated last month
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆52Updated 8 months ago
- ☆58Updated last week
- ☆41Updated last year
- Matrix (Multi-Agent daTa geneRation Infra and eXperimentation framework) is a versatile engine for multi-agent conversational data genera…☆75Updated this week
- ☆23Updated last month
- RWKV is an RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best…☆50Updated 4 months ago
- Multi-Granularity LLM Debugger☆86Updated 2 weeks ago
- Library for text-to-text regression, applicable to any input string representation and allows pretraining and fine-tuning over multiple r…☆91Updated last week
- The original Shared Recurrent Memory Transformer implementation☆27Updated 2 weeks ago
- Tree Attention: Topology-aware Decoding for Long-Context Attention on GPU clusters☆128Updated 7 months ago
- The official implementation of Cross-Task Experience Sharing (COPS)☆23Updated 9 months ago
- The official implementation for paper "Agentic-R1: Distilled Dual-Strategy Reasoning"☆76Updated this week
- LLMs + Lean, on your laptop or in the cloud☆172Updated last week
- ☆19Updated 4 months ago