conftrace_

Peixin Wang

3 papers · 2023–2025 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

+1 more ↓

🌍 Conference Polyglot (3) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (10) 🧭 Keyword Pioneer

🐝 Cross-Pollinator (15)

Conferences

AAAI (1) EMNLP (1) NIPS (1)

Top co-authors

Cheng Chen (2) Min Zhang (2) Dapeng Zhi (2) Chuhuai Yue (1) Wei LIN (1) Zixiang Ding (1) Jiajun Chai (1) Xihao Liang (1) Wang Yixuan (1) Jiaxu Tian (1)

Keywords

neural network (2) formal verification (2) deep reinforcement learning (2) user interface (1) linear control policy (1) multi-agent system (1) control system (1) reward martingale (1) state perturbation (1) model compression (1) front-end code (1) code generation (1) robustness verification (1)

Papers

UIOrchestra: Generating High-Fidelity Code from UI Designs with a Multi-agent System EMNLP 2025 Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales AAAI 2024 Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks NIPS 2023