We stand with Ukraine  

Taobo Liao

Orcid: 0009-0002-8470-1017

According to our database1, Taobo Liao authored at least 4 papers between 2025 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks.
[BibTeX]
[DOI]
Jianzhu Yao
,
Hongxu Su
,
Taobo Liao
,
Zerui Cheng
,
Huan Zhang
,
Xuechao Wang
,
Pramod Viswanath
Proceedings of the 21st European Conference on Computer Systems, 2026

2025
Nondeterminism-Aware Optimistic Verification for Floating-Point Neural Networks.
[BibTeX]
[DOI]
Jianzhu Yao
,
Hongxu Su
,
Taobo Liao
,
Zerui Cheng
,
Huan Zhang
,
Xuechao Wang
,
Pramod Viswanath
CoRR, October, 2025

A Survey On Secure Machine Learning.
[BibTeX]
[DOI]
Taobo Liao
,
Taoran Li
,
Prathamesh Nadkarni
CoRR, May, 2025

Zk-SNARK for String Match.
[BibTeX]
[DOI]
Taoran Li
,
Taobo Liao
CoRR, May, 2025


  Loading...