Automated generation of planar geometry olympiad problems
☆112May 3, 2026Updated 5 months ago
Alternatives and similar repositories for GeoGen
Users that are interested in GeoGen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆51Aug 19, 2026Updated 2 months ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆64Jan 9, 2025Updated last year
- A collection of online resources that I found useful for Ph.D. students☆18Apr 14, 2022Updated 4 years ago
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- O(n log n) algorithm finding solutions of Erdős-Ginzburg-Ziv theorem.☆14Aug 18, 2022Updated 4 years ago
- 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.
- Apps that run on modal.com☆13Sep 14, 2025Updated last year
- ☆20May 14, 2024Updated 2 years ago
- Official github repo of G-LLaVA☆154Feb 20, 2025Updated last year
- Mozi Lean Copilot VS Code Extension☆12Jan 7, 2026Updated 9 months ago
- Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"☆177Mar 29, 2025Updated last year
- ☆16Feb 2, 2026Updated 8 months ago
- ☆12Jan 7, 2023Updated 3 years ago
- Catalog Of Math Problems Formalized In Lean☆255Oct 23, 2026Updated last week
- ☆18Jan 8, 2024Updated 2 years ago
- 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.
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- Implementation of the LOSSGRAD optimization algorithm☆15Mar 21, 2019Updated 7 years ago
- Code for Quantifying Ignorance in Individual-Level Causal-Effect Estimates under Hidden Confounding☆25Dec 6, 2022Updated 3 years ago
- Distributed, objective-led control plane for Lean 4 formalization projects.☆37Oct 9, 2026Updated 3 weeks ago
- Re-implement of Bayesian Model-Agnostic Meta-Learning☆10Jan 16, 2019Updated 7 years ago
- Python version of the Euclidea game for possible reinforcement learning agents☆12Nov 16, 2021Updated 4 years ago
- Code repository for the robust active label correction paper.☆11Apr 12, 2018Updated 8 years ago
- algorithm implemention and also use as library☆26Nov 15, 2021Updated 4 years ago
- A model combining Deep Neural Networks and (Stochastic) Random Forests.☆14Jun 5, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TCS Studygroup☆69Jun 20, 2021Updated 5 years ago
- Implementation of the paper "Surface Map Homology Inference"☆11Nov 17, 2021Updated 4 years ago
- Active Learning Helps Pretrained Models Learn the Intended Task (https://arxiv.org/abs/2204.08491) by Alex Tamkin, Dat Nguyen, Salil Desh…☆11Nov 22, 2022Updated 3 years ago
- Library for the Test-based Calibration Error (TCE) metric to quantify the degree to classifier calibration.☆13Sep 15, 2023Updated 3 years ago
- ☆12Oct 3, 2018Updated 8 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆35Jan 17, 2022Updated 4 years ago
- Domain randomization library in Python for object detection and classification using Blender.☆15Sep 20, 2018Updated 8 years ago
- ACRE: Abstract Causal REasoning Beyond Covariation☆18Dec 7, 2021Updated 4 years ago
- An all purpose library to create and design Genetic Algorithms (GAs)☆12May 27, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of the Unsupervised learning by predicting noise paper☆14Jan 18, 2018Updated 8 years ago
- ☆11Jul 29, 2024Updated 2 years ago
- [WWW '24] UnifiedSSR: A Unified Framework of Sequential Search and Recommendation☆12Feb 16, 2024Updated 2 years ago
- Homological Algebra Programming☆15Updated this week
- Pure Python MGRS coordinate converter.☆15Nov 23, 2025Updated 11 months ago
- ☆22Sep 30, 2022Updated 4 years ago
- MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models☆33Jan 22, 2025Updated last year