Chair: Geoff Sutcliffe

• 13:30: Petar Vukmirović, Visa Nummelin. Boolean Reasoning in a Higher-Order Superposition Prover!.
• 14:00: Filip Bártek, Martin Suda. Learning Precedences from Simple Symbol Features!.
• 14:30: Ahmed Bhayat, Michael Rawson, Giles Reger. Reinforcement-Learned External Guidance for Theorem Provers!.
• 15:00: Seulkee Baek. The TESC Proof Format for First-Order ATPs!.