activity
20212024
most citedHermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications

4 citations · 10 across the 8 of their papers we have counts for

collaborators

8 papers

cs.HC2024

Enhancing Human Experience in Human-Agent Collaboration: A Human-Centered Modeling Approach Based on Positive Human Gain

Yiming Gao, Feiyu Liu, Liang Wang +12

Existing game AI research mainly focuses on enhancing agents' abilities to win games, but this does not inherently make humans have a better experience when collaborating with thes…

cs.CL20233 cited

Assessing the Reliability of Large Language Model Knowledge

Weixuan Wang, Barry Haddow, Alexandra Birch +1

Large language models (LLMs) have been treated as knowledge bases due to their strong performance in knowledge probing tasks. LLMs are typically evaluated using accuracy, yet this…

cs.CR20234 cited

Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications

Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid +8

In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural…

cs.CL2023

Evaluating the Efficacy of Length-Controllable Machine Translation

Hao Cheng, Meng Zhang, Weixuan Wang +3

Length-controllable machine translation is a type of constrained translation. It aims to contain the original meaning as much as possible while controlling the length of the transl…

cs.AI20232 cited

Towards Effective and Interpretable Human-Agent Collaboration in MOBA Games: A Communication Perspective

Yiming Gao, Feiyu Liu, Liang Wang +11

MOBA games, e.g., Dota2 and Honor of Kings, have been actively used as the testbed for the recent AI research on games, and various AI systems have been developed at the human leve…

cs.CL2023

Learning Homographic Disambiguation Representation for Neural Machine Translation

Weixuan Wang, Wei Peng, Qun Liu

Homographs, words with the same spelling but different meanings, remain challenging in Neural Machine Translation (NMT). While recent works leverage various word embedding approach…