Keyword:first-order theorem proving

Publications
Sorting Without Sorts Pamina Georgiou, Marton Hajdu and Laura Kovacs EasyChair Preprint 10632
The Vampire Approach to Induction Marton Hajdu, Laura Kovacs, Michael Rawson and Andrei Voronkov EasyChair Preprint 9217
Induction with Recursive Definitions in Superposition Marton Hajdu, Petra Hozzová, Laura Kovacs and Andrei Voronkov EasyChair Preprint 6513
Integer Induction in Saturation Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint 5176
Implementing Bottom-up Procedures with Code Trees: a Case Study of Forward Subsumption Andrei Voronkov EasyChair Preprint 3148
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 2468
Saturating Sorting without Sorts Pamina Georgiou, Marton Hajdu and Laura Kovács In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Spawns of the Saturation Framework Sophie Tourret In:Proceedings of the 7th and 8th Vampire Workshop
Integrating Answer Literals with AVATAR for Program Synthesis Petra Hozzová In:Proceedings of the 7th and 8th Vampire Workshop
Experimenting with Theory Instantiation in Vampire Martin Riener In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Aiming for the Goal with SInE Martin Suda In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny Sylvia Grewe, Sebastian Erdweg and Mira Mezini In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Reasoning About Loops Using Vampire Laura Kovács and Simon Robillard In:Proceedings of the 1st and 2nd Vampire Workshops
The Challenges of Evaluating a New Feature in Vampire Giles Reger, Martin Suda and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops