Taobo Liao

Identifiers

• name variant Taobo Liao 0.60 · backfill

Papers (1)

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