STAR-PólyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision
☆24Jun 8, 2026Updated 4 months ago
Alternatives and similar repositories for STAR-PolyaMath
Users that are interested in STAR-PolyaMath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Runtime for deep learning workload☆22May 24, 2022Updated 4 years ago
- A verification tool for ensuring parallelization equivalence in distributed model training.☆18Sep 1, 2025Updated last year
- ☆20May 6, 2025Updated last year
- ☆20Aug 7, 2024Updated 2 years ago
- ☆18Oct 2, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- PaperIndex 是一个面向科研论文 PDF 的 paper-native 索引引擎。 它背后的核心研究假设很直接： 在让 agent 去阅读、比较、综述论文之前，我们首先需要一种稳定的中间表示，能够保留论文结构、证据出处和可复用的方法级知识。☆21Mar 15, 2026Updated 6 months ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Implementation and subsequent optimization for "Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models"☆29Jun 16, 2025Updated last year
- ☆33Feb 28, 2025Updated last year
- Autonomous Knowledge Acquisition and Reasearch Intelligence☆47Mar 8, 2026Updated 7 months ago
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- Mirror of OpenMesh-Python☆14Feb 21, 2019Updated 7 years ago
- Counter Strike: Global Offensive FPGA Version (LOL)☆15Mar 11, 2017Updated 9 years ago
- Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.☆38Jun 2, 2026Updated 4 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.
- Behavior planner fusing runtime verification on traffic rules with single- and multi-agent Monte Carlo Tree Search☆11Jun 15, 2021Updated 5 years ago
- Some experiments in making exercises for teaching TLA+☆21May 7, 2025Updated last year
- TLC models for the MongoDB Replication TLA+ specification.☆20Nov 3, 2020Updated 5 years ago
- A simple implementation of LoRA+: Efficient Low Rank Adaptation of Large Models☆10Mar 20, 2024Updated 2 years ago
- [EMNLP 2025] LightThinker: Thinking Step-by-Step Compression☆165Jun 22, 2026Updated 3 months ago
- Using CRF++ for NER☆20Feb 28, 2019Updated 7 years ago
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆26Jul 13, 2026Updated 2 months ago
- 汉语框架语义解析☆18Apr 25, 2023Updated 3 years ago
- An experimental parallel training platform☆58Mar 25, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆88Jul 13, 2026Updated 2 months ago
- centos 7 / ubuntu搭建torjan，公眾號：swa_yo☆12Feb 15, 2020Updated 6 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- ☆21Dec 8, 2024Updated last year
- A Python program to archive certain pages on Moegirl 萌娘百科存档工具☆10Mar 22, 2020Updated 6 years ago
- 通用控制台聊天界面☆13Apr 4, 2026Updated 6 months ago
- ☆15Oct 10, 2020Updated 5 years ago
- The old version of Hugo academic theme | 旧版Hugo学术主题☆15Aug 23, 2021Updated 5 years ago
- ☆20May 16, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆10Jun 9, 2022Updated 4 years ago
- A collection of papers and libraries for performing multi-agent optimization☆21Jul 12, 2026Updated 2 months ago
- ☆23Oct 22, 2024Updated last year
- Implementation of an RL based agent, which utilizes Q-Learning to develop a policy for effectively solving a 3x3x3 rubiks cube☆19Mar 12, 2019Updated 7 years ago
- ☆11Nov 11, 2022Updated 3 years ago
- ☆24May 18, 2026Updated 4 months ago
- ☆21Sep 25, 2023Updated 3 years ago