Skip to content

PaMpeR: ITP2018

Pre-release
Pre-release
Compare
Choose a tag to compare
@yutakang yutakang released this 12 Feb 17:38
· 33 commits to PaMpeR since this release
v0.1
2246506
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Our draft "PaMpeR: A Proof Method Recommendation System for Isabelle/HOL" is based on this version.

This version provides the basic commands of PaMpeR and is ready to use.

We have confirmed that this version produces valuable recommendations about special-purpose proof methods in our preliminary evaluation.

The default recommendation of this version is based on Isabelle's standard library.

We expect that we can improve the accuracy of PaMpeR's proof recommendation by adding more features and using larger proof corpora for data extraction.

Assets 2