PPaperPicks

Peixin Wang

7 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

OOPSLA ×2AAAI ×1EMNLP ×1FM ×1IROS ×1PLDI ×1

Frequent coauthors

Min Zhang
×2
Guanyan Li
×2
Hongfei Fu
×2
Ziwei Zhou
×1
Si Liu
×1
Zhou Zhou
×1
Qiyuan Xu
×1
Renxi Wang
×1
Haonan Li
×1
Conrad Watt
×1
Mengcheng Zhao
×1
Jiajun Xu
×1

Papers

  1. A Formal Framework for Predicting Distributed System Performance Under Faults
    FM 2026 ·
    Ziwei Zhou
    ,
    Si Liu
    ,
    Zhou Zhou
    , Peixin Wang,
    Min Zhang
  2. A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
    OOPSLA 2026 ·
    Qiyuan Xu
    ,
    Renxi Wang
    , Peixin Wang,
    Haonan Li
    ,
    Conrad Watt
  3. A Variable Stiffness Supernumerary Robotic Limb with Pneumatic-Tendon Coupled Actuation *
    IROS 2025 ·
    Mengcheng Zhao
    ,
    Jiajun Xu
    , Peixin Wang,
    Juanxia Zhou
    ,
    Tianyi Zhang
    ,
    Kaizhen Huang
    ,
    Aihong Ji
    ,
    Xuyan Hou
    ,
    Guoli Song
    ,
    You-Fu Li
  4. Structural Abstraction and Refinement for Probabilistic Programs
    OOPSLA 2025 ·
    Guanyan Li
    ,
    Juanen Li
    ,
    Zhilei Han
    , Peixin Wang,
    Hongfei Fu
    ,
    Fei He
  5. UIOrchestra: Generating High-Fidelity Code from UI Designs with a Multi-agent System
    EMNLP 2025 ·
    Chuhuai Yue
    ,
    Jiajun Chai
    ,
    Yufei Zhan
    ,
    Zixiang Ding
    ,
    Xihao Liang
    , Peixin Wang,
    Shihai Chen
    ,
    Wang Yixuan
    ,
    Wang Yanping
    ,
    Guojun Yin
    ,
    Wei Lin
  6. Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales
    AAAI 2024 ·
    Dapeng Zhi
    , Peixin Wang,
    Cheng Chen
    ,
    Min Zhang
  7. Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
    PLDI 2024 · Peixin Wang,
    Tengshun Yang
    ,
    Hongfei Fu
    ,
    Guanyan Li
    ,
    C.-H. Luke Ong