Hadrien Pouget

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 4

Top Topics

Decision Processes

Ranking Functions

Top Venues

Publications

Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. NeurIPS (2021)
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
Exposing previously undetectable faults in deep neural networks. ISSTA (2021)
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
Exposing Previously Undetectable Faults in Deep Neural Networks. CoRR (2021)
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening
Ranking Policy Decisions. CoRR (2020)