| Model interpretability through the lens of computational complexity P Barceló, M Monet, J Pérez, B Subercaseaux Advances in neural information processing systems 33, 15487-15498, 2020 | 116 | 2020 |
| On computing probabilistic explanations for decision trees M Arenas, P Barceló, M Romero Orth, B Subercaseaux Advances in Neural Information Processing Systems 35, 28695-28707, 2022 | 50 | 2022 |
| Foundations of symbolic languages for model interpretability M Arenas, D Baez, P Barceló, J Pérez, B Subercaseaux Advances in neural information processing systems 34, 11690-11701, 2021 | 35 | 2021 |
| The packing chromatic number of the infinite square grid is 15 B Subercaseaux, MJH Heule International Conference on Tools and Algorithms for the Construction and …, 2023 | 19 | 2023 |
| Wordle is NP-hard D Lokshtanov, B Subercaseaux arXiv preprint arXiv:2203.16713, 2022 | 18 | 2022 |
| On the expressiveness of LARA: A unified language for linear and relational algebra P Barceló, N Higuera, J Pérez, B Subercaseaux arXiv preprint arXiv:1909.11693, 2019 | 18 | 2019 |
| Augmenting Online Algorithms with -Accurate Predictions A Gupta, D Panigrahi, B Subercaseaux, K Sun Advances in neural information processing systems 35, 2115-2127, 2022 | 15 | 2022 |
| The packing chromatic number of the infinite square grid is at least 14 B Subercaseaux, MJ Heule Leibniz international proceedings in informatics 236, 2022 | 8 | 2022 |
| The computational complexity of evil hangman J Barbay, B Subercaseaux arXiv preprint arXiv:2003.10000, 2020 | 7 | 2020 |
| Wavelet trees for competitive programming R Castro, N Lehmann, J Pérez, B Subercaseaux Olympiad in Informatics 10, 19-37, 2016 | 7 | 2016 |
| Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators P Barceló, N Higuera, J Pérez, B Subercaseaux Proceedings of the 3rd International Workshop on Data Management for End-to …, 2019 | 5 | 2019 |
| A uniform language to explain decision trees M Arenas, P Barceló, D Bustamante, J Caraball, B Subercaseaux Proceedings of the International Conference on Principles of Knowledge …, 2024 | 4 | 2024 |
| Formal Verification of the Empty Hexagon Number B Subercaseaux, W Nawrocki, J Gallicchio, C Codel, M Carneiro, ... arXiv preprint arXiv:2403.17370, 2024 | 3 | 2024 |
| Toward optimal radio colorings of hypercubes via SAT-solving B Subercaseaux, M Heule EasyChair, 2023 | 3 | 2023 |
| Foundations of languages for interpretability and bias detection P Barceló, J Pérez, B Subercaseaux AFCI workshop at NeurIPS 2020. Algorithmic Fairness through the Lens of …, 2020 | 3 | 2020 |
| On the expressiveness of Lara: A proposal for unifying linear and relational algebra P Barceló, N Higuera, J Pérez, B Subercaseaux Theoretical Computer Science 935, 105-127, 2022 | 2 | 2022 |
| Model interpretability through the lens of computational complexity BA Subercaseaux Roa Universidad de Chile, 2020 | 2 | 2020 |
| Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations P Barceló, A Kozachinskiy, MR Orth, B Subercaseaux, J Verschae arXiv preprint arXiv:2501.06078, 2025 | 1 | 2025 |
| Automated mathematical discovery and verification: Minimizing pentagons in the plane B Subercaseaux, J Mackey, MJH Heule, R Martins International Conference on Intelligent Computer Mathematics, 21-41, 2024 | 1 | 2024 |
| Assortment Optimization For Conference Goodies With Indifferent Attendees F Gutiérrez, B Subercaseaux arXiv preprint arXiv:2403.03330, 2024 | 1 | 2024 |
Pablo BarcelóInstitute for Mathematical and Computational Engineering, PUC Chile & IMFD Chile & CENIA ChileVerified email at uc.cl