Nourah Shenaiber

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
SEPIA is an approach that infers state based models from existing proof corpora. These models can then be used for the development of new proofs. As with similar approaches, selecting the best facts to use in new proofs is challenging. We investigate the potential use of ML4PG as a relevance filter for our approach achieving a model only inferred from the(More)
  • 1