Huan Zhang
- Abstract Rendering: Certified Rendering Under 3D Semantic Uncertainty
- Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
- GUI-Actor: Coordinate-Free Visual Grounding for GUI Agents
- Improving Data Efficiency for LLM Reinforcement Fine-tuning Through Difficulty-targeted Online Data Selection and Rollout Replay
- Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
- Training-Free Bayesianization for Low-Rank Adapters of Large Language Models
- Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion