☆51Aug 19, 2026Updated 2 months ago
Alternatives and similar repositories for tong-geometry
Users that are interested in tong-geometry are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Feb 2, 2026Updated 8 months ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆45Jul 1, 2026Updated 3 months ago
- This repo contains code for our ICML 2023 paper: MEWL: Few-shot multimodal word learning with referential uncertainty☆15Jun 10, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ACRE: Abstract Causal REasoning Beyond Covariation☆18Dec 7, 2021Updated 4 years ago
- Proof search with a diversity-balanced symbolic frontier, bounded future atlas, and optional language-model guidance.☆21Oct 21, 2026Updated last week
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- ☆20Aug 17, 2026Updated 2 months ago
- Automatic solver for plane geometry problems.☆28Oct 21, 2026Updated last week
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- ☆14Jul 15, 2025Updated last year
- Code for procedurally synthesizing PHASE animations☆18Mar 3, 2022Updated 4 years ago
- Lean formalization of CFSG☆19Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Distributed, objective-led control plane for Lean 4 formalization projects.☆37Oct 9, 2026Updated 2 weeks ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆18Aug 27, 2025Updated last year
- Code for ICML2018 - Generalized Earley Parser: Bridging Symbolic Grammars and Sequence Data for Future Prediction.☆36Apr 20, 2019Updated 7 years ago
- An agent that solved all 672 putnambench problems☆43Aug 27, 2026Updated 2 months ago
- A WIP clone of BaBa Is You. Later will focus on 2-player competitive play. Think chess meets BaBa!☆11May 28, 2024Updated 2 years ago
- This is the jump start guide for new graduate students in our group.☆12Jun 30, 2026Updated 3 months ago
- PyTorch code for Reasoning Visual Dialogs with Structural and Partial Observations☆41Jun 30, 2021Updated 5 years ago
- [NeurIPS'23] "ProBio: A Protocol-guided Multimodal Dataset for Molecular Biology Lab"☆18Dec 13, 2023Updated 2 years ago
- [NeurIPS 2023] Learning Energy-Based Prior Model with Diffusion-Amortized MCMC☆14Mar 1, 2026Updated 7 months 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.
- [ICML 2022] Latent Diffusion Energy-Based Model for Interpretable Text Modeling☆67Mar 1, 2026Updated 7 months ago
- CivRealm is an interactive environment for the open-source strategy game Freeciv-web based on Freeciv, a Civilization-inspired game.☆164Sep 11, 2024Updated 2 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- ☆31Jul 16, 2025Updated last year
- Automatic solver for plane geometry problems.☆99Feb 24, 2026Updated 8 months ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆145Oct 13, 2026Updated 2 weeks ago
- ☆282Jul 8, 2026Updated 3 months ago
- OpenLock Environment for OpenAI Gym☆19Feb 16, 2021Updated 5 years ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆64Jan 9, 2025Updated last year
- 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.
- Translation of the databricks-dolly-15k dataset to Chinese for commercial use.☆19Apr 17, 2023Updated 3 years ago
- [ICLR 2026] RuleReasoner: Reinforced Rule-based Reasoning via Domain-aware Dynamic Sampling☆42Feb 25, 2026Updated 8 months ago
- 仿制药通过一致性评价信息☆27Jan 24, 2025Updated last year
- ☆23Aug 26, 2024Updated 2 years ago
- ☆49Nov 24, 2020Updated 5 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆55Jul 25, 2024Updated 2 years ago
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated 2 weeks ago