AI safety researcher

Jianjun Zhao

Kyushu University

Google Scholar dblp ORCID

Last 12 months2 papers

AI safety papers from the last year

On this site: 13 papers

August 2026

Branch and Bound for Relational Verification of Neural Networks
Aug 13arXiv ↗

May 2026

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
May 14arXiv ↗

Authorship follows dblp and the author's own Google Scholar profile; only AI safety papers on this site are listed.