| Neural Precedence Recommender F Bártek, M Suda CADE 12699, 525-542, 2021 | 6 | 2021 |
| Learning Precedences from Simple Symbol Features F Bártek, M Suda Workshop on Practical Aspects of Automated Reasoning, 21–33, 2020 | 5 | 2020 |
| How Much Should This Symbol Weigh? A GNN-Advised Clause Selection F Bártek, M Suda 24th International Conference on Logic for Programming, Artificial …, 2023 | 2 | 2023 |
| Regularization in Spider-Style Strategy Discovery and Schedule Construction F Bártek, K Chvalovský, M Suda arXiv preprint arXiv:2403.12869, 2024 | | 2024 |
| Robust Strategy Schedule Optimization for an Automatic Theorem Prover F Bártek, M Suda AITP 8, 2023 | | 2023 |
| Project Proposal: Efficient Neural Clause Selection by Weight F Bártek, M Suda AITP 7, 24-27, 2022 | | 2022 |
| Project Proposal: Model-Based Optimization of Strategy Schedules F Bártek, M Suda AITP 6, 10-12, 2021 | | 2021 |
| Project Proposal: Machine Learning Good Symbol Precedences F Bártek, M Suda Conference on Artificial Intelligence and Theorem Proving 5, 9–12, 2020 | | 2020 |
Martin SudaCzech Technical University in PragueVerified email at cvut.cz
