paper / lmthang / Jun 5 / failedLEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
paper / lmthang / May 12 / failedSemi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems