MathCode: A Frontier Mathematical Coding Agent
☆567Jun 4, 2026Updated last week
Alternatives and similar repositories for mathcode
Users that are interested in mathcode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Dec 25, 2023Updated 2 years ago
- ☆26Jun 2, 2026Updated last week
- ☆112Mar 27, 2026Updated 2 months ago
- Python client to interact with the lean4 language server.☆45May 4, 2026Updated last month
- A fast vector database written in C.☆40Jun 7, 2026Updated last week
- 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.
- ☆24Aug 26, 2025Updated 9 months ago
- ☆12Jul 8, 2024Updated last year
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- Efficient retrieval head analysis with triton flash attention that supports topK probability☆13Jun 15, 2024Updated last year
- ☆58Mar 13, 2026Updated 3 months ago
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆21May 2, 2026Updated last month
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 4 months ago
- ☆47May 6, 2025Updated last year
- Audit agent skill definitions for security, completeness, and compatibility across Codex, Claude Code, OpenClaw, and more☆44Feb 10, 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.
- AgentsCourt: Building Judicial Decision-Making Agents with Court Debate Simulation and Legal Knowledge Augmentation (EMNLP 2024 Findings)☆16Dec 30, 2024Updated last year
- tdd skill for coding agents☆140Feb 24, 2026Updated 3 months ago
- ☆316Sep 11, 2025Updated 9 months ago
- PAHF Personalized Agent from Human Feedback☆52Apr 26, 2026Updated last month
- ☆65Apr 8, 2026Updated 2 months ago
- ☆21May 14, 2026Updated last month
- Data mapping framework for rust stuff☆54Mar 25, 2026Updated 2 months ago
- ☆432Feb 13, 2026Updated 4 months ago
- ☆77May 8, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆1,224Apr 5, 2026Updated 2 months ago
- RAG-RewardBench: Benchmarking Reward Models in Retrieval Augmented Generation for Preference Alignment☆17Dec 19, 2024Updated last year
- A curated collection of resources for the Boolean Satisfiability Problem (SAT).☆58Nov 30, 2025Updated 6 months ago
- [ICML'25] MELON: Provable Defense Against Indirect Prompt Injection Attacks in AI Agents☆29Jul 31, 2025Updated 10 months ago
- Slop Scoring to Stop Slop☆146Apr 21, 2026Updated last month
- Clone of DeepSeek Thinking-with-Visual-Primitives☆133Apr 30, 2026Updated last month
- Repository of paper "Establishing Trustworthy LLM Evaluation via Shortcut Neuron Analysis" (ACL 2025 Main)☆19Jul 19, 2025Updated 10 months ago
- Monitor Claude Code activity across multiple Zellij panes in real-time via zjstatus.☆38Jan 13, 2026Updated 5 months ago
- ☆18Feb 4, 2025Updated 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.
- [NeurIPS 2025] A Python library for graph reduction including condensation, coarsening, and sparsification.☆32May 7, 2026Updated last month
- ☆13Jan 29, 2021Updated 5 years ago
- Official Repo of SimTeG☆43Mar 29, 2024Updated 2 years ago
- Scaling Agentic Environments Automatically.☆64Mar 26, 2026Updated 2 months ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆20Mar 19, 2026Updated 2 months ago
- Description for MV-MATH☆15Jul 20, 2025Updated 10 months ago
- [CVPR2025] Official implementation of RAM☆29Nov 4, 2025Updated 7 months ago