Runzhou Tao
6 papers · 2021–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(17)
Top co-authors
Research topics
Artificial Intelligence
(3)
Computer Vision
(3)
Machine Learning
(3)
Core AI
(3)
Computer Science
(2)
Deep Learning
(2)
Domain-Specific
(2)
Learning Types · Deep Learning
(2)
Systems
(2)
Knowledge & Reasoning
(1)
Analysis
(1)
Application Areas
(1)
Foundations
(1)
Generation
(1)
Learning Types · Machine Learning
(1)
Keywords
reinforcement learning
(2)
autonomous driving
(2)
safety property
(2)
smt solver
(2)
inductive invariant
(2)
automated verification
(2)
formal verification
(1)
3d object detection
(1)
diffusion model
(1)
compositional generation
(1)
invariant learning
(1)
direction consistency
(1)
closed-loop evaluation
(1)
3d bounding box
(1)
virtual machine
(1)
resource utilization
(1)
resource multiplexing
(1)
distributed protocol
(1)
quantum cloud
(1)
quantum program execution
(1)
Papers
DriveVLN: Towards Mapless Vision-and-Language Navigation in Autonomous Driving
CVPR 2026
HiCoGen: Hierarchical Compositional Text-to-Image Generation in Diffusion Models via Reinforcement Learning
CVPR 2026
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