Show HN: AlphaGeometryRE AlphaGeometry Re-Engineered (github.com)

2 points by foldl2022 1y ago ↗ HN

AlphaGeometryRE is an re-engineered version AlphaGeometry with a goal to make it easy to use (especially on Windows):

* Use ChatLLM.cpp form LLM interference.

* Greatly simplified requirements.txt.

* Indent with four spaces.

2 comments

[ 3.3 ms ] story [ 14.2 ms ] thread

[deleted] 1y ago ↗

(comment deleted)

foldl2022 1y ago ↗

Author here. It took quite a lot of time and efforts to implement this old model. The situation is worsened by `meliad` framework. Glad to see that `meliad` is not active now.