Benedikt Stock

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Unsupervised Learning

Mathematical Proofs

Nonlinear Equations

Top Venues

Arch. Formal Proofs

Publications

Aleksandar Vuckovic, Benedikt Stock, Alexander V. Hopp, Mathias Winkel, Helmut Linde
Unsupervised Learning of Invariance Transformations. CoRR (2023)
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
Mathematical Proof Between Generations. CoRR (2022)
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
Digit Expansions. Arch. Formal Proofs 2022 (2022)
Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher
Diophantine Equations and the DPRM Theorem. Arch. Formal Proofs 2022 (2022)
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. CoRR (2021)
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. CICM (2019)
Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher
The DPRM Theorem in Isabelle (Short Paper). ITP (2019)