logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
Y

Yeyun Gong

University of Toronto

27H-index
145Paper Count
3.1KCitation Count
Published Papers 4
Publication Date
logo
AUTOVERUS: Automated Proof Generation for Rust Code
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errYang, Chenyuan; Li, Xuheng; Misu, Md Rakib Hossain; Yao, Jianan; Cui, Weidong; Gong, Yeyun; Hawblitzel, Chris; Lahiri, Shuvendu; Lorch, Jacob R.; Lu, Shuai; Yang, Fan; Zhou, Ziqiao; Lu, Shan
errShare
errSave
Question Generation With Doubly Adversarial Nets
errIEEE-ACM TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING
IF5.1
err2018-11-01
err12
PREAI
errBao, Junwei; Gong, Yeyun; Duan, Nan; Zhou, Ming; Zhao, Tiejun
errShare
errSave
Hashtag recommendation for multimodal microblog posts
errNEUROCOMPUTING
IF6.5
err2018-01-01
err36
PREAI
errGong, Yeyun; Zhang, Qi; Huang, Xuanjing
errShare
errSave
Phrase-based hashtag recommendation for microblog posts
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2016-11-17
err11
PREAI
errGong, Yeyun; Zhang, Qi; Han, Xiaoying; Huang, Xuanjing
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
Q
Qi Zhang
H-index: 84 · Papers: 580
M
Ming Zhou
H-index: 82 · Papers: 382
N
Nan Duan
H-index: 60 · Papers: 373
X
Xuanjing Huang
H-index: 58 · Papers: 560
S
Shan Lu
H-index: 45 · Papers: 215
View more