Alternatives and similar repositories for alphageometry:

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

• tpgh24 / ag4masses
  Making Google Deepmind's AlphaGeometry accessible to the Masses
  ☆45Updated 2 months ago
• chen-judge / UniGeo
  [EMNLP 22] UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
  ☆28Updated 2 years ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆173Updated last month
• rkruegs123 / geo-model-builder
  ☆21Updated 3 years ago
• Mihir3009 / LogicBench
  LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…
  ☆21Updated 11 months ago
• rookie-joe / automatic-lean4-compilation
  ☆14Updated 8 months ago
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆54Updated last year
• liuchengwucn / FIMO
  ☆33Updated 5 months ago
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆40Updated 10 months ago
• IDEA-FinAI / ChartBench
  ☆11Updated 2 weeks ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆66Updated last year
• lupantech / InterGPS
  Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
  ☆142Updated this week
• mingliangzhang2018 / PGDP
  The first end-to-end deep learning model for explicit plane geometry diagram parsing.
  ☆40Updated 3 months ago
• GAIR-NLP / ReasonEval
  [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy
  ☆56Updated 3 months ago
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆155Updated 6 months ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆58Updated last year
• SihengLi99 / LLM-Honesty-Survey
  A Survey on the Honesty of Large Language Models
  ☆56Updated 3 months ago
• rookie-joe / PDA
  ☆27Updated 2 months ago
• iQua / llmpebase
  This is a unified platform for implementing and evaluating test-time reasoning mechanisms in Large Language Models (LLMs).
  ☆15Updated 2 months ago
• princeton-nlp / MQuAKE
  [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions
  ☆107Updated 6 months ago
• pkunlp-icler / IKE
  ☆24Updated 2 years ago
• chen-judge / GeoQA
  Official Implementation of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”.
  ☆58Updated 3 years ago
• mingliangzhang2018 / PGPS
  The implement of geometric solver PGPSNet
  ☆22Updated 2 months ago
• Alpha-Innovator / GeoX
  [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
  ☆29Updated 2 months ago
• LMCRC / Newclid
  Automatic solver for plane geometry problems.
  ☆23Updated 3 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆50Updated this week
• pengshuai-rin / MultiMath
  MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models
  ☆27Updated 2 months ago
• GAIR-NLP / alignment-for-honesty
  ☆73Updated 10 months ago
• oneal2000 / MIND
  Source code of our paper MIND, ACL 2024 Long Paper
  ☆39Updated 10 months ago
• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆107Updated last week