LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Oct-8-2025, 14:05:14 GMT–Neural Information Processing Systems

It is inexpensive and needs only one GPU week of training.

large language model, logic & formal reasoning, machine learning, (19 more...)

Neural Information Processing Systems

Oct-8-2025, 14:05:14 GMT

Conferences PDF

Country:
- Asia > Middle East
  - Jordan (0.04)
- North America > United States (0.14)

Genre:
- Research Report (1.00)

Industry:
- Law (0.45)

Technology:
- Information Technology
  - Artificial Intelligence
    - Machine Learning > Neural Networks
      - Deep Learning (1.00)
    - Natural Language
      - Chatbot (0.71)
      - Large Language Model (1.00)
    - Representation & Reasoning
      - Logic & Formal Reasoning (1.00)
      - Search (0.68)
  - Information Management (1.00)
  - Software (1.00)

Duplicate Docs Excel Report

Title
4441469427094f8873d0fecb0c4e1cee-Paper-Datasets_and_Benchmarks.pdf

Similar Docs Excel Report more

Title	Similarity	Source
None found