Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.
☆38Jun 2, 2026Updated 4 months ago
Alternatives and similar repositories for vibe-proving-math
Users that are interested in vibe-proving-math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A curated list of awesome interactive theorem prover frameworks☆23Oct 22, 2026Updated last week
- AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.☆229Aug 17, 2026Updated 2 months ago
- AI Agentic Research System for Computational Mathematics☆62Aug 9, 2026Updated 2 months ago
- OpenCode-based time-series harness for structured forecasting, contextual reasoning, tool use, and validation-driven agent workflows.☆14Oct 13, 2026Updated 2 weeks ago
- ☆18Sep 1, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [ICML2026] The official code of "Beyond Gemini-3-Pro: Revisiting LLM Routing and Aggregation at Scale"☆15Jun 3, 2026Updated 4 months ago
- Customizable charts made with TikZ and LaTeX3☆14Feb 11, 2023Updated 3 years ago
- Python wrapper and evaluation tools for the Approach Zero search engine core.☆10Nov 4, 2023Updated 2 years ago
- Intuitive functional programming interface for LaTeX2☆13Dec 21, 2024Updated last year
- ☆12Feb 11, 2025Updated last year
- One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).☆32Updated this week
- CusTeX☆16Sep 22, 2026Updated last month
- ☆21May 8, 2026Updated 5 months ago
- ☆17Jul 29, 2025Updated last year
- 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.
- This is a comprehensive mathematical note, comprising of knowledge about analysis, linear algebra, abstract algebra, and more contents is…☆18Sep 8, 2026Updated last month
- Go out of WHU☆12Mar 10, 2022Updated 4 years ago
- AutoResearch official style beginner tutorial, from 0 to 1☆20Aug 11, 2026Updated 2 months ago
- Wrapping text around stuff☆18Dec 6, 2022Updated 3 years ago
- Code of “Dynamic Graph Convolutional Network with Attention Fusion for Traffic Flow Prediction”.☆22Apr 21, 2024Updated 2 years ago
- ☆13Aug 27, 2026Updated 2 months ago
- The ecosystem reshaping mathematics.☆11Apr 29, 2026Updated 6 months ago
- A Job Board for Formal Verification☆87Updated this week
- Douban 豆瓣油猴导出工具：支持电影、读书、音乐、游戏收藏导出JSON/Excel、页码范围、封面资源 ZIP 和个人主页汇总导航。☆25Aug 25, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆28Oct 12, 2026Updated 2 weeks ago
- This is an official pytorch implementation for paper "A Unified Shape-Aware Foundation Model for Time Series Classification" (AAAI-26).☆27Dec 3, 2025Updated 10 months ago
- Local-first platform for managing research projects, vibe coding and vibe research.☆26Mar 13, 2026Updated 7 months ago
- 关于 tlmgr 使用的简短的介绍.☆19Feb 24, 2022Updated 4 years ago
- A beamer theme inspired by the "Mirage" song poster☆20Aug 27, 2026Updated 2 months ago
- The source code for our TIP paper "SeqViews2SeqLabels: Learning 3D Global Features via Aggregating Sequential Views by RNN with Attention…☆15Mar 24, 2019Updated 7 years ago
- Code for ICML25 paper "HYGMA: Hypergraph Coordination Networks with Dynamic Grouping for Multi-Agent Reinforcement Learning"☆26Nov 11, 2025Updated 11 months ago
- R3DM: Enabling Role Discovery and Diversity Through Dynamics Models in Multi-agent Reinforcement Learning☆19Nov 19, 2025Updated 11 months ago
- Automatically exported from code.google.com/p/inkscape2tikz☆23Feb 18, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆194Aug 27, 2025Updated last year
- ☆24May 18, 2026Updated 5 months ago
- ☆17Updated this week
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆34Nov 1, 2025Updated 11 months ago
- Official Implementation of "Decentralized Transformers with Centralized Aggregation are Sample-Efficient Multi-Agent World Models" (accep…☆24Dec 14, 2025Updated 10 months ago
- ☆282Jul 8, 2026Updated 3 months ago
- ☆23Sep 25, 2026Updated last month