Hjalmar Wijk

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Constraint Relaxation

Top Venues

Publications

Megan Kinniment, Lucas Jun Koba Sato, Haoxing Du, Brian Goodrich, Max Hasin, Lawrence Chan, Luke Harold Miles, Tao R. Lin, Hjalmar Wijk, Joel Burget, Aaron Ho, Elizabeth Barnes, Paul Christiano
Evaluating Language-Model Agents on Realistic Autonomous Tasks. CoRR (2023)
Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. CoRR (2022)
Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. IJCAI (2022)
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
Shielding Atari Games with Bounded Prescience. AAMAS (2021)
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk
Shielding Atari Games with Bounded Prescience. CoRR (2021)