rkruegs123 / geo-model-builderView external linksLinks
☆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
Sorting:
- [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression☆33Dec 7, 2022Updated 3 years ago
- ☆18May 14, 2024Updated last year
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆57Dec 18, 2024Updated last year
- The implement of geometric solver PGPSNet☆30Jan 30, 2025Updated last year
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆124Nov 25, 2025Updated 2 months ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- 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…☆17Sep 3, 2025Updated 5 months ago
- ☆36Oct 29, 2024Updated last year
- Tool for euclidean geometry aware of logic☆88Jun 4, 2024Updated last year
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated last year
- ☆10Feb 15, 2024Updated 2 years ago
- ☆11Feb 18, 2024Updated last year
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- ☆11Oct 24, 2022Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Efficient joint input optimization and inference with DEQ☆10Nov 25, 2021Updated 4 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
- Code for AAAI 2021 long paper Learning from Crowds by Modeling Common Confusions.☆11Feb 6, 2021Updated 5 years ago
- ☆10Jul 22, 2020Updated 5 years ago
- Bounding causal effects in general (continuous, non-additive) instrumental variable models.☆14Jul 6, 2023Updated 2 years ago
- TUI (Text User Interface) - Get Instant feedback for your sh commands. Explore and play with your queries 🚀☆12Aug 30, 2025Updated 5 months ago
- Virtual notebook that Evan uses for his PhD thesis.☆10Sep 5, 2025Updated 5 months ago
- Statistical test for bias in unsupervised image representations.☆12Mar 8, 2021Updated 4 years ago
- Automated generation of planar geometry olympiad problems☆102Nov 23, 2025Updated 2 months ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- Interactive, web-based visual math assistant☆12Jan 10, 2026Updated last month
- A text-based game where language models learn to lie and to detect lies.☆12Oct 4, 2023Updated 2 years ago
- Chain of Images for Intuitively Reasoning☆10Nov 29, 2023Updated 2 years ago
- Paper: Learning to Recombine and Resample Data for Compositional Generalization☆11Oct 9, 2020Updated 5 years ago
- Testing flow matching in Euclidean space and Lie groups.☆13Jan 13, 2026Updated last month
- Official Code Repository for the paper "Generative Modeling on Manifolds Through Mixture of Riemannian Diffusion Processes" (ICML 2024).☆15Jul 21, 2024Updated last year
- Web framework for GeoSolver☆14Feb 18, 2017Updated 8 years ago
- ☆12Oct 10, 2024Updated last year
- A Lean 4 package for heavy numerical computations☆19Jan 16, 2022Updated 4 years ago
- ☆15Feb 23, 2023Updated 2 years ago
- Clean python implementation of the paper "Computational Model for Linguistic Humor in Puns"☆16Feb 9, 2019Updated 7 years ago
- Code to supplement the FIGRIM (FIne-GRained Image Memorability) project and dataset.☆13Apr 6, 2016Updated 9 years ago
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆21Jan 3, 2026Updated last month