Bernardo Subercaseaux

PhD student, Carnegie Mellon University

Joined

September 2020

Names

Bernardo Subercaseaux (Preferred)

Emails

****@gmail.com (Confirmed)

****@cs.cmu.edu (Confirmed)

Personal Links

Homepage

DBLP

Career & Education History

PhD student

Carnegie Mellon University (cmu.edu)

2021 – Present

Advisors, Relations & Conflicts

PhD Advisor

Marijn Heule

Present

Coauthor

Pablo Barceló

Present

Expertise

ML interpretability

Present

Computational Complexity

Present

Automated Reasoning

Present

Publications

The Packing Chromatic Number of the Infinite Square Grid is 15
Bernardo Subercaseaux, Marijn J. H. Heule
- 2023 (modified: 24 Apr 2023)
- CoRR 2023
- Readers: Everyone
On Computing Probabilistic Explanations for Decision Trees
Marcelo Arenas, Pablo Barcelo, Miguel Romero Orth, Bernardo Subercaseaux
- Published: 31 Oct 2022, Last Modified: 14 Jan 2023
- NeurIPS 2022 Accept
- Readers: Everyone
Augmenting Online Algorithms with $\varepsilon$-Accurate Predictions
Anupam Gupta, Debmalya Panigrahi, Bernardo Subercaseaux, Kevin Sun
- Published: 31 Oct 2022, Last Modified: 09 Jan 2023
- NeurIPS 2022 Accept
- Readers: Everyone
On the expressiveness of Lara: A proposal for unifying linear and relational algebra
Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
- 2022 (modified: 15 Apr 2023)
- Theor. Comput. Sci. 2022
- Readers: Everyone
On Computing Probabilistic Explanations for Decision Trees
Marcelo Arenas, Pablo Barceló, Miguel Romero, Bernardo Subercaseaux
- 2022 (modified: 15 Apr 2023)
- CoRR 2022
- Readers: Everyone
Wordle Is NP-Hard
Daniel Lokshtanov, Bernardo Subercaseaux
- 2022 (modified: 24 Apr 2023)
- FUN 2022
- Readers: Everyone
The Packing Chromatic Number of the Infinite Square Grid Is at Least 14
Bernardo Subercaseaux, Marijn J. H. Heule
- 2022 (modified: 24 Apr 2023)
- SAT 2022
- Readers: Everyone
Wordle is NP-hard
Daniel Lokshtanov, Bernardo Subercaseaux
- 2022 (modified: 24 Apr 2023)
- CoRR 2022
- Readers: Everyone
Foundations of Symbolic Languages for Model Interpretability
Marcelo Arenas, Daniel Báez, Pablo Barcelo, Jorge Pérez, Bernardo Subercaseaux
- Published: 09 Nov 2021, Last Modified: 26 May 2025
- NeurIPS 2021 Spotlight
- Readers: Everyone
Foundations of Symbolic Languages for Model Interpretability
Marcelo Arenas, Daniel Baez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
- 2021 (modified: 15 Apr 2023)
- NeurIPS 2021
- Readers: Everyone

View all 18 publications

Bernardo Subercaseaux

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Co-Authors