| 2025 |
J |
jnl |
CoRR
Yao Feng, Jun Zhu, André Platzer, Jonathan Laurent
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Yao Feng, Jun Zhu, André Platzer, Jonathan Laurent
|
| 2025 |
J |
jnl |
CoRR
Hengkai Tan, Yao Feng, Xinyi Mao, Shuhe Huang, Guodong Liu, Zhongkai Hao, Hang Su, Jun Zhu
|
| 2025 |
J |
jnl |
CoRR
Hongzhe Bi, Hengkai Tan, Shenghao Xie, Zeyuan Wang, Shuhe Huang, Haitian Liu, Ruowen Zhao, Yao Feng, Chendong Xiang, Yinze Rong, Hongyan Zhao, Hanyu Liu, Zhizhong Su, Lei Ma, Hang Su, Jun Zhu
|
| 2025 |
A* |
conf |
IJCAI
Xinning Zhou, Chengyang Ying, Yao Feng, Hang Su, Jun Zhu
|
| 2025 |
J |
jnl |
CoRR
Xinning Zhou, Chengyang Ying, Yao Feng, Hang Su, Jun Zhu
|
| 2025 |
J |
jnl |
CoRR
Yao Feng, Hengkai Tan, Xinyi Mao, Guodong Liu, Shuhe Huang, Chendong Xiang, Hang Su, Jun Zhu
|
| 2025 |
J |
jnl |
CoRR
Yao Feng, Chendong Xiang, Xinyi Mao, Hengkai Tan, Zuyue Zhang, Shuhe Huang, Kaiwen Zheng, Haitian Liu, Hang Su, Jun Zhu
|
| 2022 |
J |
jnl |
CoRR
Yao Feng, Yuhong Jiang, Hang Su, Dong Yan, Jun Zhu
|
| 2022 |
J |
jnl |
CoRR
Zhongkai Hao, Songming Liu, Yichi Zhang, Chengyang Ying, Yao Feng, Hang Su, Jun Zhu
|
| 2020 |
— |
conf |
ASP-DAC
Wenjian Yu, Ming Yang, Yao Feng, Ganqu Cui, Ben Gu
|
| 2020 |
A* |
conf |
ICML
Sijia Liu, Songtao Lu, Xiangyi Chen, Yao Feng, Kaidi Xu, Abdullah Al-Dujaili, Mingyi Hong, Una-May O'Reilly
|
| 2019 |
J |
jnl |
CoRR
Sijia Liu, Songtao Lu, Xiangyi Chen, Yao Feng, Kaidi Xu, Abdullah Al-Dujaili, Mingyi Hong, Una-May O'Reilly
|