☆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:
- [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 2 months ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆125Nov 25, 2025Updated 4 months ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- 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.
- Supplementary materials for our SIGGRAPH 2022 paper☆28Apr 28, 2022Updated 3 years ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated last year
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆172Mar 29, 2025Updated last year
- Formal representation and solving for Euclidean plane geometry problems.☆33Dec 19, 2025Updated 3 months ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆21Jun 12, 2025Updated 9 months ago
- 📖Curated list about reasoning abilitiy of MLLM, including OpenAI o1, OpenAI o3-mini, and Slow-Thinking.☆13Feb 7, 2025Updated last year
- ☆23Updated this week
- Automated generation of planar geometry olympiad problems☆103Feb 19, 2026Updated last month
- ☆12Feb 18, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tool for euclidean geometry aware of logic☆90Jun 4, 2024Updated last year
- ☆26Jun 28, 2024Updated last year
- ☆11Oct 31, 2021Updated 4 years ago
- MSWAL☆14Nov 7, 2025Updated 4 months ago
- This is a full collection of all the main functions taught in EE2211. It can greatly speed up your speed when doing mid-term or final exa…☆19Sep 3, 2025Updated 6 months ago
- A web UI that plots finite group Cayley Graphs in 3D☆20Oct 2, 2023Updated 2 years ago
- Interactive, web-based visual math assistant☆12Updated this week
- Sample SWI-Prolog server with JavaScript client☆13Nov 30, 2023Updated 2 years ago
- Code for AutoGeo.☆16Aug 18, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆37Oct 29, 2024Updated last year
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated last year
- Image Preloader for React & React Virtualized☆13May 29, 2018Updated 7 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- ☆10Jul 31, 2019Updated 6 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- Kotlin Multiplatform Mobile Accelerometer Sensors Library☆13Jan 31, 2022Updated 4 years ago
- Analysing ML conference data and plotting interesting statistics.☆11Aug 4, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Simple chess AI built using python and flask.☆14Sep 15, 2022Updated 3 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
- Testing flow matching in Euclidean space and Lie groups.☆13Mar 18, 2026Updated last week
- ☆15Sep 22, 2024Updated last year
- Code for AAAI 2021 long paper Learning from Crowds by Modeling Common Confusions.☆11Feb 6, 2021Updated 5 years ago
- ☆15Jul 22, 2024Updated last year
- The dataset and evaluation code for MediConfusion: Can you trust your AI radiologist? Probing the reliability of multimodal medical found…☆25Feb 19, 2026Updated last month