Program for Thursday, September 24th: Talk View

PROGRAM FOR THURSDAY, SEPTEMBER 24TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

09:00-10:00

Vibe-coding an ITP

Mirek Olšák

10:00-10:20 Coffee Break

10:20-10:40

Automorphism group certificates for cubic vertex-transitive graphs

Janoš Vidali

10:40-11:10

Identifying Dependencies in Mathematical Data via Predictive Importance

Matej Novoselec, David Eliecer Narvaez, Ljupčo Todorovski

11:10-11:40

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery

Benjamin Przybocki, John Mackey, Marijn Heule, Bernardo Subercaseaux

11:40-12:10

A Toolbox for Undefined Terms in Type Theory

Nicolò Pizzo, Claudio Sacerdoti Coen

12:10-13:30 Lunch Break

13:30-13:50

A Context-Free Parser of Math Expressions

Florian Rabe

13:50-14:10

System Description: Natty 0.5

Adam Dingle

14:10-14:40

Categorizing Mathematical Concepts with LLM Voting Ensembles in Mathswitch

Slobodan Stanojevikj, Katja Berčič

14:40-15:10 Coffee Break

15:10-16:30 Business Meeting