Lean

ผู้วิจัยได้นำเสนอ AutoIP ซึ่งเป็นไลบรารีใน Lean ที่ใช้ AI agents ในการแปลงทฤษฎีการปรับเชิงเส้นและวิเคราะห์เชิงฟังก์ชันให้เป็นรูปแบบทางการโดย…