Program for Sunday, October 25th: Talk View

PROGRAM FOR SUNDAY, OCTOBER 25TH: TALK VIEW

Days:

next day

all days

View: with abstracts session overview

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

11:00-11:10

Opening

Stephan Schulz, Konstantin Korovin, Michael Rawson

11:10-11:50

Building Blocks for Reasoning on the BEAM

Johannes Schuster, Christoph Benzmüller

11:50-12:30

An Implementation of Integer Presburger Arithmetic in a Math Education Tool

Antti Valmari, Mika Hirvensalo

12:30-14:00 Lunch

14:00-18:00 Registration desk open

14:30-15:10

Algebraic Indexing to Parallelize Atom Comparison in the ATP Saturation Loop

Theodore Kim, Adam Pease

15:10-15:50

Benchmarking LLMs Against TPTP: A Vision for the Near Future

Andrija Urošević, Gordan Duric, Sana Stojanović-Đurđević

16:00-16:30 Break

16:30-17:05

Efficient Linear Model Building and Clause Evaluation

Simon Schwarz, Christoph Weidenbach, Fabian Wobito

17:05-17:40

Some Experiments with Twee-Style Goal-Directedness

Stephan Schulz

18:00-20:00 Reception