Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.
☆38Jun 2, 2026Updated 3 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☆23Jun 19, 2026Updated 3 months ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆37Sep 7, 2026Updated last week
- AI Agentic Research System for Computational Mathematics☆57Aug 9, 2026Updated last month
- ☆204Aug 16, 2026Updated last month
- Customizable charts made with TikZ and LaTeX3☆14Feb 11, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Intuitive functional programming interface for LaTeX2☆13Dec 21, 2024Updated last year
- CusTeX☆16Oct 11, 2025Updated 11 months ago
- This project provides various tools for processing content MathML with Java.☆14Feb 17, 2026Updated 7 months ago
- AutoResearch official style beginner tutorial, from 0 to 1☆20Aug 11, 2026Updated last month
- An autonomous research agent that turns a topic into a peer-reviewed technical report☆128Jun 3, 2026Updated 3 months ago
- ☆21Sep 12, 2024Updated 2 years ago
- ☆25Apr 2, 2026Updated 5 months ago
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆30Nov 1, 2025Updated 10 months ago
- Agent 友好的文献管理方式☆588Updated this week
- 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.
- This is an official pytorch implementation for paper "A Unified Shape-Aware Foundation Model for Time Series Classification" (AAAI-26).☆28Dec 3, 2025Updated 9 months ago
- Official Implementation of "Decentralized Transformers with Centralized Aggregation are Sample-Efficient Multi-Agent World Models" (accep…☆21Dec 14, 2025Updated 9 months ago
- Local-first platform for managing research projects, vibe coding and vibe research.☆26Mar 13, 2026Updated 6 months ago
- ☆190Aug 27, 2025Updated last year
- 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
- ☆61Mar 13, 2026Updated 6 months ago
- simple demo codes for Learning to Teach with Dynamic Loss Functions☆17Oct 22, 2019Updated 6 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆87Jun 13, 2025Updated last year
- ☆33Sep 8, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [TITS2025] Pattern-Matching Dynamic Memory Network for Dual-Mode Traffic Prediction☆44Sep 2, 2025Updated last year
- NeurIPS 2021 paper 'Representation Learning on Spatial Networks' code☆18Oct 26, 2021Updated 4 years ago
- [NeurIPS 2024]Repos for "Visualization-of-Thought" dataset, construction code and evaluation.☆37Oct 23, 2024Updated last year
- The repo is the official implementation for the paper: [MGCN: Mamba-Integrated Spatiotemporal Graph Convolutional Network for Long-Term T…☆30Jan 27, 2026Updated 7 months ago
- 哲学的形式化验证器「phiLean」。☆30Oct 26, 2025Updated 10 months ago
- ☆22Jan 31, 2024Updated 2 years ago
- ☆33Oct 18, 2024Updated last year
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆25Updated this week
- ☆16Oct 2, 2024Updated last year
- 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.
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆85Jul 13, 2026Updated 2 months ago
- Welcome to the official repository of **MixLinear**, the ICLR 2026 paper.☆51Aug 19, 2026Updated last month
- [ACL 2026 Oral] Official implementation of "STReasoner: Spatio-Temporal Reasoning in Time Series via Spatial-Aware Reinforcement Learning…☆54May 21, 2026Updated 3 months ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆41Sep 7, 2025Updated last year
- ☆42Oct 16, 2024Updated last year
- ☆32Nov 2, 2025Updated 10 months ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆42Aug 27, 2026Updated 3 weeks ago