Speaker
Jianjun Zhao
More Information:
Talks at this conference:
| Fri, 11:45 | Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement |
Speaker
| Fri, 11:45 | Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement |