Skip to content

TACAS2021: the first release of semantic_induct

Pre-release
Pre-release
Compare
Choose a tag to compare
@yutakang yutakang released this 20 Oct 07:30
· 282 commits to master since this release
v0.1.9-alpha
95eb9d8
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.

This release the version of semantic_induct used in the evaluation for TACAS2021.

Our evaluation based on 1,095 inductive problems from 22 theory files shows the following:
when compared to smart_induct, semantic_induct achieves a 90.0% increase of the coincidence rate for the most promising candidate within 5.0 seconds of timeout while achieving a 62.0% decrease of the median value of execution time.

For the AEC at TACAS2020:
To format the raw results, you have to replace every ";"s with ","s in Database.txt and place them at the locations with the right names as written in the artifact submission.

Assets 2
Loading