นี่คือแอป Linux ชื่อ Lean Copilot ซึ่งสามารถดาวน์โหลดเวอร์ชันล่าสุดได้ที่ x86_64-linux.tar.gz สามารถรันแอปนี้ทางออนไลน์ในผู้ให้บริการโฮสติ้งฟรี OnWorks สำหรับเวิร์กสเตชัน
ดาวน์โหลดและรันแอปชื่อ Lean Copilot พร้อม OnWorks ได้ฟรีทางออนไลน์
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ภาพหน้าจอ
Ad
ลีนคอไพลอต
DESCRIPTION
LeanCopilot ผสานรวมโมเดลภาษาขนาดใหญ่ (LLM) ให้เป็นผู้ช่วยพิสูจน์ทฤษฎีบทในโปรแกรมช่วยพิสูจน์ Lean โดยจะช่วยเหลือผู้ใช้ด้วยการแนะนำกลยุทธ์ สมมติฐาน และค้นหาการพิสูจน์ จึงทำให้กระบวนการตรวจสอบอย่างเป็นทางการมีประสิทธิภาพมากขึ้น LeanCopilot รองรับทั้งโมเดลในตัวจาก LeanDojo และโมเดลที่กำหนดเอง ซึ่งให้ความยืดหยุ่นสำหรับกรณีการใช้งานต่างๆ
คุณสมบัติ
- การบูรณาการ LLM กับผู้ช่วย Lean Proof
- ข้อเสนอแนะด้านกลยุทธ์และสถานที่
- ความสามารถในการค้นหาหลักฐานอัตโนมัติ
- รองรับทั้งแบบในตัวและแบบกำหนดเอง
ภาษาโปรแกรม
C + +
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/lean-copilot.mirror/ ได้ แอปพลิเคชันนี้โฮสต์อยู่ใน OnWorks เพื่อให้เรียกใช้งานออนไลน์ได้ง่ายที่สุดจากระบบปฏิบัติการฟรีของเรา
