Follow
Bernardo Subercaseaux
Bernardo Subercaseaux
Verified email at andrew.cmu.edu - Homepage
Title
Cited by
Cited by
Year
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
832020
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
302022
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
232021
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
192019
Wordle is NP-hard
D Lokshtanov, B Subercaseaux
arXiv preprint arXiv:2203.16713, 2022
162022
Augmenting Online Algorithms with -Accurate Predictions
A Gupta, D Panigrahi, B Subercaseaux, K Sun
Advances in neural information processing systems 35, 2115-2127, 2022
102022
Wavelet trees for competitive programming
R Castro, N Lehmann, J Pérez, B Subercaseaux
Olympiad in Informatics 10, 19-37, 2016
72016
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
52023
The computational complexity of evil hangman
J Barbay, B Subercaseaux
arXiv preprint arXiv:2003.10000, 2020
52020
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
52019
The packing chromatic number of the infinite square grid is at least 14
B Subercaseaux, MJH Heule
25th International Conference on Theory and Applications of Satisfiability …, 2022
42022
Toward optimal radio colorings of hypercubes via SAT-solving
B Subercaseaux, M Heule
Proceedings of 24th International Conference on Logic for Programming …, 2023
22023
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
22022
Interpretabilidad de modelos de inteligencia artificial con garantías formales
B Subercaseaux
Revista Bits de Ciencia, 2-2, 2022
12022
Model interpretability through the lens of computational complexity
BA Subercaseaux Roa
Universidad de Chile, 2020
12020
Foundations of Languages for Interpretability and Bias Detection
P Barceló, J Pérez, B Subercaseaux
Algorithmic Fairness through the Lens of Causality and Interpretability …, 0
1
PackIt! Gamified Rectangle Packing
T Garrison, MJH Heule, B Subercaseaux
arXiv preprint arXiv:2403.12195, 2024
2024
Assortment Optimization For Conference Goodies With Indifferent Attendees
F Gutiérrez, B Subercaseaux
arXiv preprint arXiv:2403.03330, 2024
2024
Minimizing Pentagons in the Plane through Automated Reasoning
B Subercaseaux, J Mackey, MJH Heule, R Martins
arXiv preprint arXiv:2311.03645, 2023
2023
A Symbolic Language for Interpreting Decision Trees
M Arenas, P Barcelo, D Bustamente, J Caraball, B Subercaseaux
arXiv preprint arXiv:2310.11636, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20