Skip to content
OpenTrain AIFor AI Companies

UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression

Published Dec 1, 2022
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Thin evidence
Verify before relying
Time to first repro
A few days
Plan setup time
Risk flags
1
Review before use

Results and benchmarks

Freshness tier: hot
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression focuses on reasoning / puzzle solving.

Implementation

Historical official implementation (not recommended for new builds)

Why this implementation
Confidence: low

loganrjmurphy/leaneuclid is the closest maintained adjacent implementation (Community adoption signal (140 stars)). It is not paper-verified; validate algorithm and evaluation setup against the paper before trusting reported metrics. Community adoption signal: 140 GitHub stars.

Open chen-judge/unigeo
Reproduction risks
  • Adjacent implementations are not paper-verified
  • Recommended repository is adjacent and not paper-verified.
  • Adjacent implementation match confidence is low.
  • No direct maintained implementation is currently verified.
  • Only historical official repository was found: chen-judge/unigeo.
  • No maintained paper-verified implementation met reliability thresholds.

Reproduction readiness

Time to first repro: days
Last checked: Aug 21, 2026

Setup required

Dependencies pinned, manual setup needed

  • chen-judge/unigeo has requirements.txt but requires manual environment setup.
  • Last push was 1357 days ago, so expect possible dependency version conflicts.
  • No Dockerfile, so you will set up the environment manually.
  • No CI pipeline, so test coverage is unknown.
Open chen-judge/unigeo

Hardware requirements

  • Expect multi-day setup/compute for meaningful reproduction based on current guidance.

Quick start

git clone https://github.com/chen-judge/unigeo.git
pip install -r requirements.txt

Repositories and ecosystem

Closest related implementations

These are not paper-verified. Use them as reference points when no direct implementation is available.

No additional verified repositories beyond the primary recommendation.

Hugging Face artifacts

No trustworthy direct or curated related Hugging Face artifacts were found yet. Use targeted searches to quickly locate candidate models, datasets, and demos.

Search models Search datasets Search spaces

Tip: start with models, then check datasets and spaces if you need evaluation data or demos.

Research context

Tasks

Reasoning / puzzle solving

Methods

None detected

Domains

None detected

Evaluation and human feedback data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX
Explore similar papers

Jump to Paper2Code search queries derived from this paper's research context.

Reasoning / puzzle solving

Data includes links from Papers with Code ( CC-BY-SA-4.0 ).