Contributed Talk 1
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence
Training a First-Order Theorem Prover from Synthetic Data
Abstract: