Jianjun Zhao

Thanks:

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Red-Teaming & Adversarial Robustness (1)Scalable Oversight & Alignment Theory (1)

Frequent co-authors

Kota Fukuda (1)Zhenya Zhang (1)Guanqin Zhang (1)

Papers (1)

Aug 13, 2026

Kota Fukuda +32w ago·also Thanks:

Branch and Bound for Relational Verification of Neural Networks

Splitting relational neurons, rather than individual ones, leads to a breakthrough in efficiently verifying neural networks against complex relational specifications.

Kota Fukuda, Zhenya Zhang, Guanqin Zhang +1

Red-Teaming & Adversarial Robustness Scalable Oversight & Alignment Theory

Search

Jianjun Zhao

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)