LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
SLIDES

How Much Should This Symbol Weigh? a GNN-Advised Clause Selection

Filip Bártek and Martin Suda

A Mathematical Benchmark for Inductive Theorem Provers

Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban

Keep Me out of the Loop: a More Flexible Choreographic Projection

Robert R. Rasmussen, Luís Cruz-Filipe and Fabrizio Montesi
Total: 3 presentations.