☆25Aug 5, 2021Updated 4 years ago
Alternatives and similar repositories for geo-model-builder
Users that are interested in geo-model-builder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jul 15, 2025Updated 9 months ago
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆33Dec 7, 2022Updated 3 years ago
- ☆19May 14, 2024Updated last year
- ☆22Jan 14, 2026Updated 3 months ago
- The implement of geometric solver PGPSNet☆30Jan 30, 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.
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆125Nov 25, 2025Updated 4 months ago
- Java Geometry Expert☆48Feb 1, 2026Updated 2 months ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- A tool for drawing 2d diagrams, 3d knots, Seifert surfaces. Computes some knot properties and invariants.☆19Dec 12, 2021Updated 4 years ago
- Academic page for LimSim++☆11Mar 19, 2024Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆26Feb 10, 2026Updated 2 months ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆21Jun 12, 2025Updated 10 months ago
- 📖Curated list about reasoning abilitiy of MLLM, including OpenAI o1, OpenAI o3-mini, and Slow-Thinking.☆13Feb 7, 2025Updated last year
- ☆23Mar 29, 2026Updated 3 weeks 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.
- Formal representation and solving for Euclidean plane geometry problems.☆37Updated this week
- ☆12Feb 18, 2024Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- MSWAL☆14Nov 7, 2025Updated 5 months ago
- Bayesian Elo Rating estimator☆15Jul 2, 2015Updated 10 years ago
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- Official repository for “Reasoning in the Dark: Interleaved Vision-Text Reasoning in Latent Space”☆18Jan 27, 2026Updated 2 months ago
- ☆37Oct 29, 2024Updated last year
- Interactive neural theorem proving in Lean☆133Mar 24, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A repository of mathematical knowledge written in the Mathlingua language.☆17Nov 21, 2024Updated last year
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated 7 months ago
- RFCs for changes to Rust☆13Apr 6, 2026Updated last week
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆40Dec 12, 2022Updated 3 years ago
- ☆10Feb 15, 2024Updated 2 years ago
- Web framework for GeoSolver☆14Feb 18, 2017Updated 9 years ago
- Pretrained models for the ranking task described in Cats and Captions vs. Creators and the Clock (WWW 2017)☆11Apr 28, 2019Updated 6 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.
- Testing flow matching in Euclidean space and Lie groups.☆13Mar 18, 2026Updated last month
- Code for AAAI 2021 long paper Learning from Crowds by Modeling Common Confusions.☆11Feb 6, 2021Updated 5 years ago
- ☆10Apr 2, 2024Updated 2 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- ☆53Dec 7, 2024Updated last year
- ☆16Oct 3, 2022Updated 3 years ago
- Bounding causal effects in general (continuous, non-additive) instrumental variable models.☆14Jul 6, 2023Updated 2 years ago