85
Nghiên cứu
StochBench: Bộ tiêu chuẩn đánh giá chuyên sâu về quá trình ngẫu nhiên trong Lean 4
(giờ Việt Nam)
Tóm tắt AI
StochBench là bộ tiêu chuẩn mới gồm 450 bài toán quá trình ngẫu nhiên trình độ cao, giúp đánh giá khả năng chứng minh định lý toán học của AI trong các lĩnh vực chuyên biệt thay vì chỉ tập trung vào toán thi đấu.
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ừ: Vikash Singh [xem email] [v1] Thứ Ba, ngày 8 tháng 9 năm 2026 17:59:46 UTC (1.301 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.