Följ
Bernardo Subercaseaux
Bernardo Subercaseaux
Carnegie Mellon University
Verifierad e-postadress på andrew.cmu.edu - Startsida
Titel
Citeras av
Citeras 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
1172020
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
502022
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
192023
Wordle is NP-hard
D Lokshtanov, B Subercaseaux
arXiv preprint arXiv:2203.16713, 2022
182022
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
162022
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
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
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
42024
Formal Verification of the Empty Hexagon Number
B Subercaseaux, W Nawrocki, J Gallicchio, C Codel, M Carneiro, ...
arXiv preprint arXiv:2403.17370, 2024
32024
Toward optimal radio colorings of hypercubes via SAT-solving
B Subercaseaux, M Heule
EasyChair, 2023
32023
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
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 inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20