Følg
Bernardo Subercaseaux
Bernardo Subercaseaux
Carnegie Mellon University
Verifisert e-postadresse på andrew.cmu.edu - Startside
Tittel
Sitert av
Sitert av
År
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
1182020
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
512022
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
352021
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
182023
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
182019
Augmenting Online Algorithms with -Accurate Predictions
A Gupta, D Panigrahi, B Subercaseaux, K Sun
Advances in neural information processing systems 35, 2115-2127, 2022
172022
Wordle is NP-hard
D Lokshtanov, B Subercaseaux
arXiv preprint arXiv:2203.16713, 2022
152022
The packing chromatic number of the infinite square grid is at least 14
B Subercaseaux, MJ Heule
Leibniz international proceedings in informatics 236, 2022
82022
The computational complexity of evil hangman
J Barbay, B Subercaseaux
arXiv preprint arXiv:2003.10000, 2020
72020
Wavelet trees for competitive programming
R Castro, N Lehmann, J Pérez, B Subercaseaux
Olympiad in Informatics 10, 19-37, 2016
72016
A uniform language to explain decision trees
M Arenas, P Barceló, D Bustamante, J Caraball, B Subercaseaux
arXiv preprint arXiv:2310.11636, 2023
52023
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
Formal verification of the empty hexagon number
B Subercaseaux, W Nawrocki, J Gallicchio, C Codel, M Carneiro, ...
arXiv preprint arXiv:2403.17370, 2024
32024
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
32020
Toward optimal radio colorings of hypercubes via sat-solving
B Subercaseaux, M Heule
EasyChair, 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
Model interpretability through the lens of computational complexity
BA Subercaseaux Roa
Universidad de Chile, 2020
22020
Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations
P Barceló, A Kozachinskiy, MR Orth, B Subercaseaux, J Verschae
arXiv preprint arXiv:2501.06078, 2025
12025
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
12024
Assortment optimization for conference goodies with indifferent attendees
F Gutiérrez, B Subercaseaux
arXiv preprint arXiv:2403.03330, 2024
12024
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20