MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
☆11Jun 29, 2025Updated last year
Alternatives and similar repositories for MATPBench
Users that are interested in MATPBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4☆20Mar 20, 2026Updated 7 months ago
- RAG-RewardBench: Benchmarking Reward Models in Retrieval Augmented Generation for Preference Alignment☆18Dec 19, 2024Updated last year
- AgentsCourt: Building Judicial Decision-Making Agents with Court Debate Simulation and Legal Knowledge Augmentation (EMNLP 2024 Findings)☆19Dec 30, 2024Updated last year
- A Good Neighbor, A Found Treasure: Mining Treasured Neighbors for Knowledge Graph Entity Typing. EMNLP 2022☆11Feb 1, 2023Updated 3 years ago
- Agentic Long-Horizon Planning☆16Jul 27, 2026Updated 3 months 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.
- Public code repo for paper "Alice: Proactive Learning with Teacher's Demonstrations for Weak-to-Strong Generalization"☆10May 28, 2025Updated last year
- ☆14Mar 11, 2026Updated 7 months ago
- A curated list of papers and technical reports related to Multi-Teacher On-Policy Distillation (MOPD).☆16Oct 22, 2026Updated last week
- ☆11Oct 24, 2025Updated last year
- [ICLR 2026] Dancing in Chains: Strategic Persuasion in Academic Rebuttal via Theory of Mind (If you find this useful, please give us a st…☆55Apr 28, 2026Updated 6 months ago
- VLM2-Bench [ACL 2025 Main]: A Closer Look at How Well VLMs Implicitly Link Explicit Matching Visual Cues☆45May 20, 2025Updated last year
- Resources and paper list for 'Scaling Environments for Agents'. This repository accompanies our survey on how environments contribute to …☆75Jan 28, 2026Updated 9 months ago
- Official repository of the video reasoning benchmark MMR-V. Can Your MLLMs "Think with Video"? [ICLR26]☆40Jun 23, 2025Updated last year
- ☆12May 15, 2025Updated last year
- 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.
- Public code repo for EMNLP 2024 Findings paper "MACAROON: Training Vision-Language Models To Be Your Engaged Partners"☆14Sep 28, 2024Updated 2 years ago
- An unofficial pytorch dataloader for Open X-Embodiment Datasets https://github.com/google-deepmind/open_x_embodiment☆25Jan 9, 2025Updated last year
- ☆48Aug 12, 2026Updated 2 months ago
- [NAACL 2025 Main] DTELS: Towards Dynamic Granularity of Timeline Summarization☆17Oct 9, 2025Updated last year
- Repository of paper "Establishing Trustworthy LLM Evaluation via Shortcut Neuron Analysis" (ACL 2025 Main)☆20Jul 19, 2025Updated last year
- CogKTR: A Knowledge-Enhanced Text Representation Toolkit for Natural Language Understanding. EMNLP 2022☆32Oct 14, 2022Updated 4 years ago
- LLM-driven solution evolutionary optimization toolkit☆59Oct 10, 2026Updated 3 weeks ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- Trip planning means 20 tabs and 3 hours — this Claude-powered tool turns one sentence into a full itinerary☆16Apr 1, 2026Updated 6 months 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.
- [NeurIPS 2026] Towards On-Policy Data Evolution for Visual-Native Multimodal Deep Search Agents☆33May 13, 2026Updated 5 months ago
- [NeurIPS25] RULE: Reinforcement UnLEarning Achieves Forge-retain Pareto Optimality☆21Oct 22, 2025Updated last year
- ☆30Jul 7, 2026Updated 3 months ago
- FinRAGBench-V: A Benchmark for Multimodal RAG with Visual Citation in the Financial Domain (EMNLP 2025)☆24Jan 13, 2026Updated 9 months ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- Efficient retrieval head analysis with triton flash attention that supports topK probability☆13Jun 15, 2024Updated 2 years ago
- Test Scripts for continous delivery☆17Oct 27, 2015Updated 11 years ago
- Portable Codex CLI + vLLM for air-gapped use☆18Mar 2, 2026Updated 7 months ago
- Real estate tokenization platform built on multiple blockchains enabling fractional ownership of premium properties through tokenization.☆16Apr 9, 2025Updated last year
- 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.
- Benchmarking Agent Capabilities in Ultra Long-Horizon Scenarios☆29Sep 30, 2025Updated last year
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- ☆13Aug 30, 2025Updated last year
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated 2 weeks ago
- RWKU: Benchmarking Real-World Knowledge Unlearning for Large Language Models. NeurIPS 2024☆103Sep 30, 2024Updated 2 years ago
- ☆11Feb 26, 2025Updated last year
- The official code repository for the paper "CostBench: Evaluating Multi-Turn Cost-Optimal Planning and Adaptation in Dynamic Environments…☆35Jun 14, 2026Updated 4 months ago