Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Oct-10-2025, 15:23:11 GMT–Neural Information Processing Systems

I do believe that problems are the heart of mathematics.

artificial intelligence, large language model, machine learning, (16 more...)

Neural Information Processing Systems

Oct-10-2025, 15:23:11 GMT

Conferences PDF

Country:
- Asia > China > Shanghai > Shanghai (0.05)

Genre:
- Instructional Material > Course Syllabus & Notes (0.50)
- Research Report (0.68)

Industry:
- Education (0.68)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.68)
  - Natural Language > Large Language Model (0.96)
  - Representation & Reasoning (1.00)

Duplicate Docs Excel Report

Title
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Similar Docs Excel Report more

Title	Similarity	Source
None found