LeanPRM: Giám sát quy trình dựa trên cơ sở mỏng để xác minh bằng chứng ngôn ngữ tự nhiên
LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification
Đoạn trích bài viết
Các hệ thống AI hiện đang viết bằng chứng toán học dài và khó khăn, và kiểm tra tính hợp lệ từng bước của chúng đang trở thành một rào cản. Một người xác minh học có thể kiểm tra bằng chứng rẻ tiền, nhưng huấn luyện một đòi hỏi một nhãn độ chính xác ở mỗi bước, và các nhãn như vậy là khó có được cho các bằng chứng mở.
Toàn văn bài viết
Mở bài viết gốc
Đọc bài viết đầy đủ trên huggingface
Mở bài gốc để xem trọn vẹn chi tiết và dẫn chứng.