LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models

Nhóm tác giả phát triển LANTERN, một pipeline nhanh và chi phí thấp sử dụng bộ phân loại trên các activation của mô hình huấn luyện trước để xếp hạng các mối quan hệ toán học tiềm năng. Pipeline này áp dụng các bước lọc theo giai đoạn, sinh giả thuyết, kiểm chứng thực thi và kiểm tra phân tích. Khi áp dụng vào On-Line Encyclopedia of Integer Sequences (OEIS) với 50 triệu cặp từ 10.000 chuỗi dữ liệu, LANTERN đã tạo ra 62 quan hệ được kiểm chứng không có sẵn trong OEIS. Quá trình chọn lọc giữ lại 13 quan hệ đáng chú ý, trong đó có 4 quan hệ hoàn toàn mới. Toàn bộ quy trình hoàn thành dưới 8 giờ.

LANTERN xếp hạng 50 triệu cặp trong số 10.000 chuỗi thường được tham chiếu từ On-Line Encyclopedia of Integer Sequences (OEIS).

Pipeline tạo ra 62 quan hệ được kiểm chứng giữa các cặp không có sẵn mối liên kết chéo trước đó trong OEIS.

Quy trình toàn diện hoàn thành trong thời gian dưới 8 giờ.