Huan Zhang
~Huan_Zhang1
21
论文总数
10.5
年均投稿
平均评分
接收情况14/21
会议分布
NeurIPS
9
ICLR
9
ICML
3
发表论文 (21 篇)
202515 篇
4
SATE: A Two-Stage Approach for Performance Prediction in Subpopulation Shift Scenarios
ICLR 2025Rejected
3
SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
ICML 2025Spotlight
4
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control
ICLR 2025withdrawn
4
Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
NeurIPS 2025Spotlight
4
Abstract Rendering: Certified Rendering Under 3D Semantic Uncertainty
NeurIPS 2025Spotlight
4
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics
ICLR 2025Poster
4
Training-Free Bayesianization for Low-Rank Adapters of Large Language Models
NeurIPS 2025Poster
3
ControlAgent: Automating Control System Design via Novel Integration of LLM Agents and Domain Expertise
ICLR 2025Rejected
4
The Emperor's New Clothes in Benchmarking? A Rigorous Examination of Mitigation Strategies for LLM Benchmark Data Contamination
ICML 2025Poster
5
Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
NeurIPS 2025Poster
3
SVIP: Towards Verifiable Inference of Open-source Large Language Models
ICLR 2025Rejected
4
DynaMath: A Dynamic Visual Benchmark for Evaluating Mathematical Reasoning Robustness of Vision Language Models
ICLR 2025Poster
4
Improving Data Efficiency for LLM Reinforcement Fine-tuning Through Difficulty-targeted Online Data Selection and Rollout Replay
NeurIPS 2025Poster
4
EmbodiedBench: Comprehensive Benchmarking Multi-modal Large Language Models for Vision-Driven Embodied Agents
ICML 2025Oral
4
GUI-Actor: Coordinate-Free Visual Grounding for GUI Agents
NeurIPS 2025Poster
20246 篇
4
Verified Safe Reinforcement Learning for Neural Network Dynamic Models
NeurIPS 2024Poster
3
Fine-grained Local Sensitivity Analysis of Standard Dot-Product Self-Attention
ICLR 2024Rejected
4
Regularizing Hidden States Enables Learning Generalizable Reward Model for LLMs
NeurIPS 2024Poster
4
Improving Branching in Neural Network Verification with Bound Implication Graph
ICLR 2024Rejected
4
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
NeurIPS 2024Poster
4
Formal Verification for Neural Networks with General Nonlinearities via Branch-and-Bound
ICLR 2024withdrawn