Formalization Quality in Isabelle.

Fabian Huch Yiannos Stathopoulos

Published in: CICM (2023)

Keyphrases

high quality
real time
quality assessment
theorem prover
low quality
higher quality
real world
image sequences
knowledge representation
data sets
neural network
web pages
case study
data structure