Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"
☆23Sep 1, 2025Updated last year
Alternatives and similar repositories for TrustGeoGen
Users that are interested in TrustGeoGen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The proposed simulated dataset consisting of 9,536 charts and associated data annotations in CSV format.☆26Feb 22, 2024Updated 2 years ago
- (ICCV-2025 Official Code)) Improving Generalist Model with Domain-Specific Experts☆87Oct 29, 2025Updated last year
- (ACL-2025 main conference) Dolphin: Moving Towards Closed-loop Auto-research through Thinking, Practice, and Feedback☆46Jun 24, 2025Updated last year
- [NeurIPS 2023] Code release for "Going Beyond Linear Mode Connectivity: The Layerwise Linear Feature Connectivity"☆19Oct 19, 2023Updated 3 years ago
- ☆18Jan 13, 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.
- MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models☆33Jan 22, 2025Updated last year
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- Automatic solver for plane geometry problems.☆99Feb 24, 2026Updated 8 months ago
- ☆18Jan 9, 2025Updated last year
- Evaluation code for RBench-V. Based on https://github.com/open-compass/VLMEvalKit.☆12May 24, 2025Updated last year
- Learning 1D Causal Visual Representation with De-focus Attention Networks☆35Jun 7, 2024Updated 2 years ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- ☆20Sep 9, 2026Updated last month
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆18Aug 27, 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.
- Official Repository: A Comprehensive Benchmark for Logical Reasoning in MLLMs☆45Jun 17, 2025Updated last year
- Some thoughts about writing scientific papers☆23Nov 8, 2024Updated last year
- [ICLR 2025] Mathematical Visual Instruction Tuning for Multi-modal Large Language Models☆158Dec 5, 2024Updated last year
- Formal representation and solving for Euclidean plane geometry problems.☆45Jul 1, 2026Updated 3 months ago
- Code for paper *AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning*☆17Jul 19, 2025Updated last year
- [ACL 2026 Main Conference] Paper list for the survey "A Survey of Deep Learning for Geometry Problem Solving"☆36Sep 14, 2025Updated last year
- AV-Link: Temporally-Aligned Diffusion Features for Cross-Modal Audio-Video Generation☆17Aug 3, 2025Updated last year
- ☆19Oct 28, 2025Updated last year
- [NeurIPS2024] Fast T2T: Optimization Consistency Speeds Up Diffusion-Based Training-to-Testing Solving for Combinatorial Optimization; [N…☆26Jul 2, 2025Updated last year
- 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.
- [AAAI 2025]Math-PUMA: Progressive Upward Multimodal Alignment to Enhance Mathematical Reasoning☆45Apr 14, 2025Updated last year
- This is the Repository for Geometry Problem Solving Method Evaluation☆29Oct 8, 2024Updated 2 years ago
- ☆27Aug 5, 2021Updated 5 years ago
- The implement of geometric solver PGPSNet☆30Jul 8, 2026Updated 3 months ago
- Official Repository of ChartX & ChartVLM: A Versatile Benchmark and Foundation Model for Complicated Chart Reasoning☆260Sep 26, 2024Updated 2 years ago
- [ICML 2024] SPP: Sparsity-Preserved Parameter-Efficient Fine-Tuning for Large Language Models☆22May 28, 2024Updated 2 years ago
- MM-PRM: Enhancing Multimodal Mathematical Reasoning with Scalable Step-Level Supervision☆30May 26, 2025Updated last year
- (ACL 2026 Findings) The Agent’s First Day: Benchmarking Learning, Exploration, and Scheduling in the Workplace Scenarios☆12Jan 19, 2026Updated 9 months ago
- [T-PAMI'23] PAGCP for the compression of YOLOv5☆120Apr 13, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆20Jul 2, 2026Updated 3 months ago
- [TPAMI] Wholly Leveraging Diversified-quality Labels for Weakly-supervised Oriented Object Detection☆12Feb 14, 2025Updated last year
- (ACL-2025 main conference) SurveyForge: On the Outline Heuristics, Memory-Driven Generation, and Multi-dimensional Evaluation for Automat…☆335Aug 27, 2025Updated last year
- ☆13Jan 20, 2023Updated 3 years ago
- ☆21Jul 3, 2025Updated last year
- From Accuracy to Robustness: A Study of Rule- and Model-based Verifiers in Mathematical Reasoning.☆25Oct 7, 2025Updated last year
- ☆27Jul 5, 2026Updated 3 months ago