Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D E G H I J K L M N O P R S T U V Z

B
Bauer, Andrej	Type theory for discrete mathematics
Berčič, Katja	Maniplexes as a Foundation for Cross-Linked Databases of Symmetric Objects Categorizing Mathematical Concepts with LLM Voting Ensembles in Mathswitch
Betzendahl, Jonas	Modeling Learner Competencies: Does Mathematical Knowledge Management Have an Influence?
C
Cunningham, Gabe	Maniplexes as a Foundation for Cross-Linked Databases of Symmetric Objects
D
D'Hondt, Sven	Knowledge management in House of Graphs
De Lon, Adrian	Distilling Autoformalized Proofs
Deniz, Elif	A Formal Analysis Framework for Linear Partial Differential Equations in HOL (Project Paper)
Devillez, Gauvain	Knowledge management in House of Graphs
Dingle, Adam	System Description: Natty 0.5
Díaz, Javier	Formalizing Soundness and Consistency of Q0
E
Eberl, Manuel	Formalising Continued Fractions (With Applications to Pell's Equation)
G
Ganesh, Vijay	Semantic Alignment Models: A Bridge Between Informal and Formal Mathematics
Goedgebeur, Jan	Knowledge management in House of Graphs
H
Hahn, Atle	Distilling Autoformalized Proofs
Heule, Marijn	Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery Toward Satisfiability Modulo Realizability
Huerta Y Munive, Jonathan Julian	A project report on proof data extraction, interaction, and evaluation in Isabelle
I
Ida, Tetsuo	A Combinatorial Rewriting Model for Origami
J
Jakubuv, Jan	Learning-Guided Higher-Order Automated Reasoning for Isabelle/HOL
K
Kaliszyk, Cezary	Optimising Metamath Proofs for Human Working Memory Learning-Guided Higher-Order Automated Reasoning for Isabelle/HOL
Kohlhase, Michael	Modeling Learner Competencies: Does Mathematical Knowledge Management Have an Influence?
Kovacs, Laura	Vampire Guide: An Interactive Playground for Learning and Teaching about Vampire
Krapivin, Andrew	Toward Satisfiability Modulo Realizability
Kripner, Matěj	OpenProver: Agentic and Interactive Theorem Proving with Lean 4
L
Li, Fangming	Formalising Hilbert Polynomials in Lean
Lindsay, Jeremy	Optimising Metamath Proofs for Human Working Memory
M
Ma, Haobo	Publication-Coordinate Audit Interfaces for AI-Assisted Formal-Mathematics Pipelines
Mackey, John	Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
McKeown, Jack	Vampire Guide: An Interactive Playground for Learning and Teaching about Vampire
N
Nakasho, Kazuhisa	IntSeqBERT: Learning Arithmetic Structure in OEIS via Modulo-Spectrum Embeddings
Narvaez, David Eliecer	Identifying Dependencies in Mathematical Data via Predictive Importance
Novoselec, Matej	Identifying Dependencies in Mathematical Data via Predictive Importance
O
Olšák, Mirek	Vibe-coding an ITP
P
Petković Komel, Anja	Using theorem provers to reason about money: the act verification framework for Ethereum smart contracts
Pizzo, Nicolò	A Toolbox for Undefined Terms in Type Theory
Przybocki, Benjamin	Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery Toward Satisfiability Modulo Realizability
R
Rabe, Florian	A Context-Free Parser of Math Expressions
Rizkallah, Christine	Optimising Metamath Proofs for Human Working Memory
S
Sacerdoti Coen, Claudio	A Toolbox for Undefined Terms in Type Theory
Santamaría-Galvis, Andrés David	Maniplexes as a Foundation for Cross-Linked Databases of Symmetric Objects
Schaefer, Jan Frederik	Formalizing How Concepts are Expressed in Natural Language
Schütz, Marcel	Formalizing How Concepts are Expressed in Natural Language
Stanojevikj, Slobodan	Categorizing Mathematical Concepts with LLM Voting Ensembles in Mathswitch
Straka, Milan	OpenProver: Agentic and Interactive Theorem Proving with Lean 4
Subercaseaux, Bernardo	Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
Suda, Martin	Learning-Guided Higher-Order Automated Reasoning for Isabelle/HOL
T
Tahar, Sofiene	A Formal Analysis Framework for Linear Partial Differential Equations in HOL (Project Paper)
Todorovski, Ljupčo	Identifying Dependencies in Mathematical Data via Predictive Importance
U
Urban, Josef	Distilling Autoformalized Proofs
V
Vidali, Janoš	Maniplexes as a Foundation for Cross-Linked Databases of Symmetric Objects Automorphism group certificates for cubic vertex-transitive graphs
Z
Zhang, Jujian	Formalising Hilbert Polynomials in Lean
Zhang, Wenlin	Publication-Coordinate Audit Interfaces for AI-Assisted Formal-Mathematics Pipelines