AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

Techniques and Experiments in Retrieval-Augmented Neural Theorem Proving

Time: Tuesday, 4.11

Room: Room B

Authors: Joao Ferreira