Alternatives and similar repositories for alphageometry

Users that are interested in alphageometry are comparing it to the libraries listed below

• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆33Updated 3 years ago
• CHYYYYYYYY / SolidGeoSolver
  ☆37Updated 2 weeks ago
• rkruegs123 / geo-model-builder
  ☆25Updated 4 years ago
• liuchengwucn / FIMO
  ☆36Updated last year
• rookie-joe / FormalAlign
  ☆17Updated 7 months ago
• NeuraSearch / Geometry-Diagram-Description
  ☆15Updated last year
• tpgh24 / ag4masses
  Making Google Deepmind's AlphaGeometry accessible to the Masses
  ☆62Updated last year
• lupantech / InterGPS
  Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
  ☆172Updated 10 months ago
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆42Updated last year
• Mihir3009 / LogicBench
  LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…
  ☆36Updated last year
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆216Updated 8 months ago
• lupantech / dl4math
  Resources of deep learning for mathematical reasoning (DL4MATH).
  ☆370Updated 2 years ago
• pkunlp-icler / IKE
  ☆25Updated 2 years ago
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆74Updated 2 years ago
• OpenBMB / OlympiadBench
  [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…
  ☆182Updated 8 months ago
• chengyou-jia / T2IS
  Official Repo for "Why Settle for One? Text-to-ImageSet Generation and Evaluation"
  ☆21Updated 4 months ago
• conceptmath / conceptmath
  [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …
  ☆24Updated last year
• rookie-joe / PDA
  ☆35Updated last year
• chuanyang-Zheng / Lyra-theorem-prover
  The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
  ☆15Updated last year
• OS-Copilot / OS-Sentinel
  Code, benchmark and environment for "OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic Workflows"
  ☆37Updated 3 months ago
• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆134Updated 10 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆117Updated 10 months ago
• ChartMimic / ChartMimic
  [ICLR 2025] ChartMimic: Evaluating LMM’s Cross-Modal Reasoning Capability via Chart-to-Code Generation
  ☆131Updated last month
• xufangzhi / ENVISIONS
  [ACL 2025] A Neural-Symbolic Self-Training Framework
  ☆117Updated 8 months ago
• mat-agent / MAT-Agent
  MAT: Multi-modal Agent Tuning 🔥 ICLR 2025 (Spotlight)
  ☆84Updated last month
• albertqjiang / draft_sketch_prove
  ☆71Updated 2 years ago
• rhyang2021 / LoGU
  Source code for our paper: "LoGU: Long-form Generation with Uncertainty Expressions".
  ☆16Updated 8 months ago
• yuyq18 / StepTool
  ☆32Updated 8 months ago
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆150Updated last year
• Edward-Sun / easy-to-hard
  Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
  ☆124Updated last year