Adaptive Assertion-Level Proofs

2 pages•Published: May 15, 2012

Christoph Benzmüller and Marvin Schiller

Abstract

(extended abstract submitted as paper 8)

Keyphrases: assertion level proofs, machine learning, proof presentation

In: Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors). EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, vol 6, pages 39-40.

Links:	https://easychair.org/publications/paper/XhNl
	https://doi.org/10.29007/gvgn

BibTeX entry

@inproceedings{EMSQMS2010:Adaptive_Assertion_Level_Proofs,
  author    = {Christoph Benzmüller and Marvin Schiller},
  title     = {Adaptive Assertion-Level Proofs},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/XhNl},
  doi       = {10.29007/gvgn},
  pages     = {39-40},
  year      = {2012}}

Download PDF Open PDF in browser