TIP: Tons of Inductive Problems
This repository contains benchmarks and challenge problems for inductive theorem provers. The benchmarks are written in a superset of SMTLIB under the benchmarks/ directory and its subdirectories. Each file contains exactly one problem.
The problems converted to SMT-LIB format. In this version, polymorphism is removed heuristically by monomorphisation, and higher-order functions are eliminated ...
Jun 23, 2015 · This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem ...
This document contains the TIP format, which is an extension of SMT-LIB for expressing inductive problems. The grammar of the format can also be viewed as ...
This paper describes the collection of benchmarks for inductive theorem provers and expects the benchmark suite to continually grow as more problems are ...
This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem proving has ...
Dec 31, 2014 · This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem ...
Aug 19, 2015 · This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem ...
Oct 8, 2017 · TIP: Tons of Inductive Problems. Paper in proceeding, 2015. This paper describes our collection of benchmarks for inductive theorem provers.
Dec 15, 2015 · This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).