A Benchmark for Evaluating MLLMs' Geometry Performance on Long-Step Problems Requiring Auxiliary Lines
☆42Aug 9, 2026Updated 2 months ago
Alternatives and similar repositories for GeoLaux
Users that are interested in GeoLaux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Jul 31, 2026Updated 2 months ago
- ☆50May 14, 2026Updated 5 months ago
- Extremely Long-Horizon Agentic Tasks Requiring Active Acting and Inductive Reasoning☆34Feb 9, 2026Updated 8 months ago
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated last year
- [ACL 2025] A Neural-Symbolic Self-Training Framework☆117Jun 1, 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.
- [ACL 2025] An inference-time decoding strategy with adaptive foresight sampling☆108May 18, 2025Updated last year
- [CVPR 2026] See Less, See Right: Bi-directional Perceptual Shaping For Multimodal Reasoning☆25Jun 28, 2026Updated 3 months ago
- ☆36Feb 12, 2026Updated 8 months ago
- [ICLR 2026] High-Fidelity Visual Reasoning on Structured Images☆36Jul 17, 2026Updated 3 months ago
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- Formal representation and solving for Euclidean plane geometry problems.☆45Jul 1, 2026Updated 3 months ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- [NeurIPS'25] The official code of "PeRL: Permutation-Enhanced Reinforcement Learning for Interleaved Vision-Language Reasoning"☆30Mar 30, 2026Updated 6 months ago
- 中南大学计算机学院2020级留言墙☆14Oct 16, 2023Updated 3 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.
- Code for paper *AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning*☆17Jul 19, 2025Updated last year
- This is the Repository for Geometry Problem Solving Method Evaluation☆29Oct 8, 2024Updated 2 years ago
- content-neutral dataset of logical reasoning☆20Mar 21, 2025Updated last year
- Codebase of 'From Denoising to Refining: A Corrective Framework for Vision-Language Diffusion Model'☆45Jun 27, 2026Updated 3 months ago
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆59Jun 3, 2026Updated 4 months ago
- PhysReason Becnhmark☆19Jul 8, 2025Updated last year
- A unified framework for controllable caption generation across images, videos, and audio. Supports multi-modal inputs and customizable ca…☆54Jul 24, 2025Updated last year
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆16Sep 23, 2025Updated last year
- This is the official evaluation code for Robobench☆26Sep 2, 2026Updated last month
- 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.
- [ICLR 2026 Oral & ICML 2026] Generative Universal Verifier as Multimodal Meta-Reasoner☆99Updated this week
- Official code of MoSA (Mixture of Sparse Adapters).☆13Dec 14, 2023Updated 2 years ago
- [MTI-LLM@NeurIPS 2025] Official implementation of "PyVision: Agentic Vision with Dynamic Tooling."☆164Jul 22, 2025Updated last year
- MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models☆33Jan 22, 2025Updated last year
- ☆18Aug 19, 2024Updated 2 years ago
- Description for MV-MATH☆15Jul 20, 2025Updated last year
- A small repo containing code from a variety of sources (cited in the README.md) for the purpose of latent space exploration!☆16Jun 22, 2021Updated 5 years ago
- Lean4 Code Editor☆19Oct 9, 2026Updated last week
- [ICML 2026] What Does Vision Tool-Use Reinforcement Learning Really Learn? Disentangling Tool-Induced and Intrinsic Effects for Crop-and-…☆23May 15, 2026Updated 5 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.
- ☆34Apr 8, 2025Updated last year
- Code for the paper "Pretraining task diversity and the emergence of non-Bayesian in-context learning for regression"☆27Jun 28, 2023Updated 3 years ago
- [ACL 2026 Main Conference] Paper list for the survey "A Survey of Deep Learning for Geometry Problem Solving"☆36Sep 14, 2025Updated last year
- [CVPR 2026] A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for…☆41Jun 6, 2026Updated 4 months ago
- Data and code for ACL 2026 Paper "Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems…☆22Apr 30, 2026Updated 5 months ago
- Adaptive tokenization for proteins☆22Mar 4, 2026Updated 7 months ago
- init commit☆16Oct 31, 2023Updated 2 years ago