Runzhou Tao
4 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Cross-Pollinator (5) π Renaissance Researcher (6)
πΊοΈ
Taxonomy Completionist
(12)
Conferences
OSDI (3)
CVPR (1)
Top co-authors
Keywords
smt solver
(2)
safety property
(2)
inductive invariant
(2)
automated verification
(2)
formal verification
(1)
3d object detection
(1)
invariant learning
(1)
3d bounding box
(1)
virtual machine
(1)
resource utilization
(1)
distributed protocol
(1)
distributed protocol verification
(1)
smt solving
(1)
monocular 3d object detection
(1)
quantum gate
(1)
fault isolation
(1)
quantum virtual machine
(1)
quantum multiplexing
(1)
multi-view projection
(1)
direction consistency
(1)
Papers
Quantum Virtual Machines
OSDI 2025
Weakly Supervised Monocular 3D Object Detection Using Multi-View Projection and Direction Consistency
CVPR 2023
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
OSDI 2022
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
OSDI 2021