from Hacker News

Show HN: AlphaGeometryRE AlphaGeometry Re-Engineered

by foldl2022 on 12/27/24, 3:08 PM with 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 foldl2022 on 12/28/24, 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.