microsoft/SIMORD
Updated
•
92
•
5
None defined yet.
DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions