TIP: Tons of Inductive Problems
Paper in proceedings, 2015

This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem proving has increased the demands for evaluation and comparison between systems. We expect the benchmark suite to continually grow as more problems are submitted by the community. New challenge problems will promote further development of provers which will greatly benefit both developers and users of inductive theorem provers.

Author

Koen Lindström Claessen

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Moa Johansson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Dan Rosén

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Nicholas Smallbone

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 9150 332-336

Subject Categories

Software Engineering

Computer Vision and Robotics (Autonomous Systems)

DOI

10.1007/978-3-319-20615-8_23

ISBN

978-3-319-20615-8

More information

Created

10/8/2017