CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

TIP: Tons of Inductive Problems

Koen Claessen (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Moa Johansson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Dan Rosén (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Nicholas Smallbone (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM) (0302-9743). Vol. 9150 (2015), p. 332-336.
[Konferensbidrag, refereegranskat]

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.



Denna post skapades 2015-09-18. Senast ändrad 2016-05-09.
CPL Pubid: 222739

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)

Ämnesområden

Programvaruteknik
Datorseende och robotik (autonoma system)

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:


Theory Exploration and Inductive Theorem Proving