STAR-PólyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision
☆23Jun 8, 2026Updated 3 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:
- fast hierarchical clustering for large-scale single-cell data☆11Jul 11, 2021Updated 5 years ago
- A curated list of awesome interactive theorem prover frameworks☆23Jun 19, 2026Updated 3 months ago
- ☆19May 6, 2025Updated last year
- PaperIndex 是一个面向科研论文 PDF 的 paper-native 索引引擎。 它背后的核心研究假设很直接： 在让 agent 去阅读、比较、综述论文之前，我们首先需要一种稳定的中间表示，能够保留论文结构、证据出处和可复用的方法级知识。☆21Mar 15, 2026Updated 6 months ago
- ☆28Sep 26, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 通过系统编程学习Rust☆11Mar 8, 2022Updated 4 years ago
- Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.☆38Jun 2, 2026Updated 3 months ago
- Single-cell RNA-seq clustering and annotation☆13Oct 26, 2020Updated 5 years ago
- ☆13Sep 14, 2022Updated 4 years ago
- Behavior planner fusing runtime verification on traffic rules with single- and multi-agent Monte Carlo Tree Search☆11Jun 15, 2021Updated 5 years ago
- [EMNLP 2025] LightThinker: Thinking Step-by-Step Compression☆165Jun 22, 2026Updated 2 months ago
- It's an implimetetion a Pathfinding Algorithm with multiple agents☆14Nov 20, 2019Updated 6 years ago
- 时语 Shiyu Subtitle - 基于 Tauri + Vue 3 + SenseVoice-Small 的极速、轻量级 100% 离线本地 AI 字幕助手。支持高精度断句与 -150ms 智能时值对齐。Ultra-fast, lightweight & 100% o…☆17May 21, 2026Updated 3 months ago
- ci guo min zhu ebook...☆13Dec 29, 2016Updated 9 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.
- Ailanxier's note of Database Systems☆11Jan 18, 2022Updated 4 years ago
- A simple 1-d diffusion/flow model tutorial for LeCAR group meeting☆16Sep 27, 2025Updated 11 months ago
- 汉语框架语义解析☆18Apr 25, 2023Updated 3 years ago
- ☆16Sep 2, 2020Updated 6 years ago
- 轻量高效的 VLESS 代理的 Rust 实现☆16Oct 28, 2020Updated 5 years ago
- ☆21Dec 8, 2024Updated last year
- A Python program to archive certain pages on Moegirl 萌娘百科存档工具☆10Mar 22, 2020Updated 6 years ago
- ☆18Aug 9, 2024Updated 2 years ago
- ☆19May 16, 2025Updated last year
- 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.
- ☆14Dec 13, 2018Updated 7 years ago
- ☆10Jun 9, 2022Updated 4 years ago
- A collection of papers and libraries for performing multi-agent optimization☆21Jul 12, 2026Updated 2 months ago
- Cheat Arknights: Endfield☆20Jan 31, 2026Updated 7 months ago
- ☆20Nov 7, 2025Updated 10 months ago
- source code of learning to discretize solving 1d scalar conservation laws via deep reinforcement learning☆15Feb 2, 2021Updated 5 years ago
- Beyond Basic RAG, Empowering Real-Time Deep Research☆22Sep 12, 2025Updated last year
- PROSE Public Benchmark Suite☆35Sep 10, 2026Updated last week
- Pretrained Diffusion Models for Unified Human Motion Synthesis☆19Feb 28, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆26Nov 20, 2021Updated 4 years ago
- 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
- A program for fetching Arknights game data☆13Jan 11, 2025Updated last year
- ☆16Jan 8, 2022Updated 4 years ago
- 清华大学猫咪图鉴小程序☆14May 20, 2022Updated 4 years ago
- Pomochron是一款使用Tauri开发的跨平台番茄钟应用，旨在帮助您提高时间管理能力和专注力。☆14Sep 27, 2024Updated last year