Reconstructing z3 proofs in KeY: there and back again.

Wolfram Pfeifer Jonas Schiffl Mattias Ulbrich

Published in: FTfJP@ECOOP (2021)

Keyphrases

knowledge base
artificial intelligence
e learning
feature extraction
multi agent
wide range