Zifan Wang

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Clause Learning

Top Venues

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)
Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson
A Recipe for Improved Certifiable Robustness. ICLR (2024)