Login / Signup
Nils Palumbo
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 3
Top Topics
Sat Solvers
Monte Carlo Simulation
Robust Regression
Boolean Satisfiability
Top Venues
CoRR
</>
Publications
</>
Nils Palumbo
,
Ravi Mangal
,
Zifan Wang
,
Saranya Vijayakumar
,
Corina S. Pasareanu
,
Somesh Jha
Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach.
CoRR
(2024)
Nils Palumbo
,
Yang Guo
,
Xi Wu
,
Jiefeng Chen
,
Yingyu Liang
,
Somesh Jha
Two Heads are Better than One: Towards Better Adversarial Robustness by Combining Transduction and Rejection.
CoRR
(2023)
Zifan Liu
,
Jongho Park
,
Nils Palumbo
,
Theodoros Rekatsinas
,
Christos Tzamos
Robust Mean Estimation under Coordinate-level Corruption.
CoRR
(2020)