Shengyuan Wang

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 12

Top Topics

Distribution Network

Text Summarization

Top Venues

ICSE (Companion Volume)

Sci. China Inf. Sci.

Publications

Pei Ke, Bosi Wen, Andrew Feng, Xiao Liu, Xuanyu Lei, Jiale Cheng, Shengyuan Wang, Aohan Zeng, Yuxiao Dong, Hongning Wang, Jie Tang, Minlie Huang
CritiqueLLM: Towards an Informative Critique Generation Model for Evaluation of Large Language Model Generation. ACL (1) (2024)
Xiao Liu, Xuanyu Lei, Shengyuan Wang, Yue Huang, Andrew Feng, Bosi Wen, Jiale Cheng, Pei Ke, Yifan Xu, Weng Lam Tam, Xiaohan Zhang, Lichao Sun, Xiaotao Gu, Hongning Wang, Jing Zhang, Minlie Huang, Yuxiao Dong, Jie Tang
AlignBench: Benchmarking Chinese Alignment of Large Language Models. ACL (1) (2024)
Pei Ke, Bosi Wen, Zhuoer Feng, Xiao Liu, Xuanyu Lei, Jiale Cheng, Shengyuan Wang, Aohan Zeng, Yuxiao Dong, Hongning Wang, Jie Tang, Minlie Huang
CritiqueLLM: Scaling LLM-as-Critic for Effective and Explainable Evaluation of Large Language Model Generation. CoRR (2023)
Junming Yang, Xingguo Chen, Shengyuan Wang, Bolei Zhang
Model-based Offline Policy Optimization with Adversarial Network. CoRR (2023)
Xiao Liu, Xuanyu Lei, Shengyuan Wang, Yue Huang, Zhuoer Feng, Bosi Wen, Jiale Cheng, Pei Ke, Yifan Xu, Weng Lam Tam, Xiaohan Zhang, Lichao Sun, Hongning Wang, Jing Zhang, Minlie Huang, Yuxiao Dong, Jie Tang
AlignBench: Benchmarking Chinese Alignment of Large Language Models. CoRR (2023)
Junming Yang, Xingguo Chen, Shengyuan Wang, Bolei Zhang
Model-Based Offline Policy Optimization with Adversarial Network. ECAI (2023)
Ying Tian, Qiangqiang Yao, Peng Hang, Shengyuan Wang
. IEEE Trans. Veh. Technol. 71 (9) (2022)
Qiangqiang Yao, Ying Tian, Qun Wang, Shengyuan Wang
Control Strategies on Path Tracking for Autonomous Vehicle: State of the Art and Future Challenges. IEEE Access 8 (2020)
Ping Yang, Shengyuan Wang
同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages). 计算机科学 46 (5) (2019)
Wei Liao, Kun Deng, Shengyuan Wang
Community detection based on Graph Coloring. SSCI (2019)
Gang Shi, Yucheng Zhang, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew
A formally verified transformation to unify multiple nested clocks for a Lustre-like language. Sci. China Inf. Sci. 62 (1) (2019)
Gang Shi, Yuanke Gan, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. ICSE (Companion Volume) (2017)
Huan Luo, Yuan Dong, Yiying Ng, Shengyuan Wang
VertexRank: Importance Rank for Software Network Vertices. COMPSAC (2014)
Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong
PNTM Integration of Petri Nets and Transactional Memory. PNSE (2011)
Shengyuan Wang, Yuan Dong
A verifiable low-level concurrent programming model based on colored Petri nets. Sci. China Inf. Sci. 54 (10) (2011)
Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong
Transitions as Transactions. PNSE (2011)
Zhen Cao, Yuan Dong, Shengyuan Wang
Compiler Backend Generation for Application Specific Instruction Set Processors. APLAS (2011)
Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li
GRAPE: A Graph-Based Framework for Disambiguating People Appearances in Web Search. ICDM (2009)
Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang
Modular Certification of Low-Level Intermediate Representation Programs. COMPSAC (1) (2009)
Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. APLAS (2009)
Zhen Cao, Yuan Dong, Shengyuan Wang
Domain-specific Pattern Matching Based Automatic Parallelization: Demonstrated by 2-D Prestack Migration. ICPADS (2009)
Lili Jiang, Jianyong Wang, Ning An, Shengyuan Wang, Jian Zhan, Lian Li
Two birds with one stone: a graph-based framework for disambiguating and tagging people names in web search. WWW (2009)
Shengyuan Wang, Yuan Dong
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. TASE (2007)
Yudi Zhao, Changjun Hu, Shengyuan Wang, Suqin Zhang
An extended openmp targeting on the hybrid architecture of SMP-cluster. ACST (2006)
Jia Chen, Shengyuan Wang, Yuan Dong, Gui-lan Dai, Yang Yang
A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors. ICESS (2004)
Yongjian Chen, Jianjiang Li, Shengyuan Wang, Dingxing Wang
ORC-OpenMP: An OpenMP Compiler Based on ORC. International Conference on Computational Science (2004)
Jian Yu, Shengyuan Wang, Chongyi Yuan
Solving Inheritance Anomaly with OMNets. J. Comput. Sci. Technol. 17 (1) (2002)
Shengyuan Wang, Jian Yu, Chongyi Yuan
A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. J. Comput. Sci. Technol. 16 (5) (2001)
Shengyuan Wang, Jian Yu, Chongyi Yuan
A Net-Based Multi-tier Behavior Inheritance Modelling Method. Ershov Memorial Conference (2001)