microsoft/Phi-4-mini-reasoning
Text Generation
•
4B
•
Updated
•
15.4k
•
212
None defined yet.
DoVer: Intervention-Driven Auto Debugging for LLM Multi-Agent Systems
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions