Deep Inference for Automated Proof Tutoring?

Christoph Benzmller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier

Browse the full KI paper archive.