MeasuringSystematicGeneralization inNeuralProofGenerationwithTransformers

Feb-11-2026, 05:53:55 GMT–Neural Information Processing Systems

Specifically,weperform soft theorem-proving by leveraging TLMs to generate natural language proofs. We test the generated proofs for logical consistency, along with the accuracy of the final inference.

artificial intelligence, machine learning, natural language, (19 more...)

Neural Information Processing Systems

Feb-11-2026, 05:53:55 GMT

Conferences PDF

Country:
- Asia > China
  - Hong Kong (0.04)
- Europe
  - Belgium > Brussels-Capital Region
    - Brussels (0.04)
  - Italy > Tuscany
    - Florence (0.04)
- North America
  - Canada
    - British Columbia > Metro Vancouver Regional District
      - Vancouver (0.04)
    - Quebec (0.05)
  - United States > Minnesota
    - Hennepin County > Minneapolis (0.14)

Genre:
- Research Report (0.94)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks (0.47)
  - Natural Language (1.00)
  - Representation & Reasoning
    - Expert Systems (0.50)
    - Rule-Based Reasoning (0.31)

Duplicate Docs Excel Report

Title
fc84ad56f9f547eb89c72b9bac209312-Paper.pdf

Similar Docs Excel Report more

Title	Similarity	Source
None found