microsoft/SIMORD
Updated
•
67
•
3
None defined yet.
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
Fara-7B: An Efficient Agentic Model for Computer Use