Show HN: AlphaGeometryRE AlphaGeometry Re-Engineered

by foldl2022on 12/27/2024, 3:08 PMwith 1 comments

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.

by foldl2022on 12/28/2024, 2:39 AM

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.