Steffen Juilf Smolka

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Automated Theorem Provers

Mathematical Proofs

Partial Occlusion

Top Venues

J. Autom. Reason.

Publications

Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury, Steffen Juilf Smolka, Albert Steckermeier
Semi-intelligible Isar Proofs from Machine-Generated Proofs. J. Autom. Reason. 56 (2) (2016)
Steffen Juilf Smolka, Jasmin Christian Blanchette
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs. PxTP@CADE (2013)