Filip Bártek

According to our database, Filip Bártek authored at least 9 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

Boosting Vampire with Neural Networks.

Martin Suda, Filip Bártek

Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025) Collocated with The 30th International Conference on Automated Deduction (CADE 2025), 2025

The Vampire Diary.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Cautious Specialization of Strategy Schedules (Extended Abstract).

Filip Bártek, Karel Chvalovský, Martin Suda

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

Regularization in Spider-Style Strategy Discovery and Schedule Construction.

Filip Bártek, Karel Chvalovský, Martin Suda

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

How Much Should This Symbol Weigh? A GNN-Advised Clause Selection.

Filip Bártek, Martin Suda

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021

Neural Precedence Recommender.

Filip Bártek, Martin Suda

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Learning Precedences from Simple Symbol Features.

Filip Bártek, Martin Suda

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020