The Expected Norm Of Random Matrices. - Yoav Seginer (Comb. Probab. Comput., 2000)

Fast Learning from Strings of 2-Letter Rigid Grammars. - Yoav Seginer (ICGI, 2002)

Learning Context Free Grammars in the Limit Aided by the Sample Distribution. - Yoav Seginer (ECML Workshop on Learning Contex-Free Grammars, 2003)

Fast Unsupervised Incremental Parsing. - Yoav Seginer (ACL, 2007)

Query-based object-oriented programming: a declarative web of objects. - Yoav Seginer; Theo Vosse; Gil Harari; Uri Kolodny (DLS, 2018)

A verified algebraic representation of cairo program execution. - Jeremy Avigad; Lior Goldberg; David Levit; Yoav Seginer; Alon Titelman (CPP, 2022)

A Proof-Producing Compiler for Blockchain Applications. - Jeremy Avigad; Lior Goldberg; David Levit; Yoav Seginer; Alon Titelman (ITP, 2023)