ICLR Training a First-Order Theorem Prover from Synthetic Data

Skip to yearly menu bar Skip to main content

Contributed Talk 1
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence

Training a First-Order Theorem Prover from Synthetic Data

2021 Contributed Talk 1
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence

Abstract:

Chat is not available.