Taobo Liao
Identifiers
- name variant Taobo Liao 0.60 · backfill
Papers (1)
- TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks cs.CR · 2025 · author #3
Mentions
- 2510.16028 #3 · arxiv_oai · confidence 0.70 Taobo Liao
Frequent Coauthors
- Hongxu Su 1 shared papers
- Huan Zhang 1 shared papers
- Jianzhu Yao 1 shared papers
- Pramod Viswanath 1 shared papers
- Xuechao Wang 1 shared papers
- Zerui Cheng 1 shared papers