[CVPR 2026] A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 2026 paper Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning.
☆41Jun 6, 2026Updated 4 months ago
Alternatives and similar repositories for SolidGeoSolver
Users that are interested in SolidGeoSolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Official codebase for the paper "Auditing Agent Harness Safety"☆57May 19, 2026Updated 4 months ago
- [SIGGRAPH Asia 2025] The official implementation of the paper "DvD: Unleashing a Generative Paradigm for Document Dewarping via Coordinat…☆36Mar 10, 2026Updated 7 months ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆18Aug 27, 2025Updated last year
- Code for paper *AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning*☆17Jul 19, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Description for MV-MATH☆15Jul 20, 2025Updated last year
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆34Dec 7, 2022Updated 3 years ago
- ☆27Jul 5, 2026Updated 3 months ago
- Implementation code for the paper "Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction"☆19May 28, 2026Updated 4 months ago
- ICS临时社群☆16Dec 30, 2024Updated last year
- ☆15Jul 22, 2024Updated 2 years ago
- Solving Competition Geometry Problems in Lean☆44Aug 26, 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
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ICS courses notes☆18Oct 4, 2026Updated last week
- This is the Repository for Geometry Problem Solving Method Evaluation☆29Oct 8, 2024Updated 2 years ago
- MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models☆33Jan 22, 2025Updated last year
- ☆20May 14, 2024Updated 2 years ago
- Everything ICS Y2 HW, Notes, and other stuffs☆12Dec 9, 2022Updated 3 years ago
- 基于 PyTorch 范例 实现中文语言模型。☆14Sep 22, 2018Updated 8 years ago
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆17Dec 12, 2025Updated 10 months ago
- Lean4 Code Editor☆19Aug 18, 2026Updated last month
- Website for MathVista☆21Jun 9, 2025Updated last year
- 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.
- ☆16May 28, 2026Updated 4 months ago
- 2020 8th CCF 大数据与计算智能大赛，题拍拍 - 小学数学应用题自动解题，决赛三等奖方案，Delores（德洛丽丝）队☆16Feb 9, 2021Updated 5 years ago
- Automatic solver for plane geometry problems.☆98Feb 24, 2026Updated 7 months ago
- 最近几年三维场景表示相关工作的收集列表，重点关注深度学习相关的工作，包括Neural Radiance Field(NeRF)，Signed Distance Funciton(SDF)，Occupancy Field以及3D Gaussian Splatting等。不仅包…☆13Dec 16, 2023Updated 2 years 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
- [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training☆48Jan 25, 2025Updated last year
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago
- 前程似锦☆19Nov 8, 2022Updated 3 years ago
- The implementation of G2Net, the extension of GaGNet and is in submission to T-ASLP☆19Apr 27, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [CVPR2026] CodePercept: Code-Grounded Visual STEM Perception for MLLM☆44Jul 28, 2026Updated 2 months ago
- Formalization of IMO shortlist problems in Lean 4☆27Sep 18, 2026Updated 3 weeks ago
- ☆13Oct 10, 2024Updated 2 years ago
- 一个可爱的智能机械生命☆19Apr 26, 2025Updated last year
- ☆13Jun 26, 2024Updated 2 years ago
- [ICCV 2025] Boosting MLLM Reasoning with Text-Debiased Hint-GRPO☆49Jul 1, 2025Updated last year
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆166Sep 2, 2026Updated last month