Peixin Wang

3 papers · 2023–2025 · 3 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 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (10)

Venues

AAAI (1) EMNLP (1) NeurIPS (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)

Research topics

Artificial Intelligence (3) Core AI (3) Machine Learning (2) Reinforcement Learning (2) Methods (2) Deep Learning (1) Robotics (1) Application Areas (1) Applications (1) Learning Types (1) Optimization & Theory (1) Systems (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 NeurIPS 2023