Benedikt Stock

According to our database, Benedikt Stock authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Unsupervised Learning of Invariance Transformations.

Aleksandar Vuckovic, Benedikt Stock, Alexander V. Hopp, Mathias Winkel, Helmut Linde

CoRR, 2023

2022

Mathematical Proof Between Generations.

Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov

CoRR, 2022

Diophantine Equations and the DPRM Theorem.

Jonas Bayer, Marco David, Benedikt Stock, Abhik Pal, Yuri V. Matiyasevich, Dierk Schleicher

Arch. Formal Proofs, 2022

Digit Expansions.

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock

Arch. Formal Proofs, 2022

2019

Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle.

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

The DPRM Theorem in Isabelle (Short Paper).

Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock, Dierk Schleicher

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019