Nghiên cứu
Lean Pool: Kho lưu trữ toán học hình thức được vận hành bởi AI
(giờ Việt Nam)
Tóm tắt AI
Lean Pool là một kho lưu trữ toán học hình thức, nơi các tác nhân AI đảm nhận vai trò phát triển, duy trì và tối ưu hóa dữ liệu.
Chính văn · Bản dịch AI
Xem PDF HTML (thử nghiệm)
DOI do arXiv cấp thông qua DataCite (đang chờ đăng ký)
Lịch sử gửi bài
Từ: Vasily Ilin [xem email] [v1] Thứ Hai, 21 tháng 9 năm 2026 17:57:30 UTC (365 KB)
Bài viết được AI dịch và tổng hợp tự động từ Hugging Face Daily Papers. Liên kết bài gốc ở phía trên. AIHOT.vn luôn dẫn nguồn đầy đủ — nếu bạn thấy điểm cần chỉnh sửa, hãy gửi ý kiến tại trang phản hồi.