Login / Signup
Yiyun Liang
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 4
Top Topics
Computation Tree Logic
Automated Verification
Trusted Third Party
Model Checking
Top Venues
CoRR
Blockchain
NAACL-HLT (Demonstrations)
NeurIPS
</>
Publications
</>
Zelun Luo
,
Wanze Xie
,
Siddharth Kapoor
,
Yiyun Liang
,
Michael Cooper
,
Juan Carlos Niebles
,
Ehsan Adeli
,
Fei-Fei Li
MOMA: Multi-Object Multi-Actor Activity Parsing.
NeurIPS
(2021)
Max DiGiacomo-Castillo
,
Yiyun Liang
,
Advay Pal
,
John C. Mitchell
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols.
Blockchain
(2020)
Max DiGiacomo-Castillo
,
Yiyun Liang
,
Advay Pal
,
John C. Mitchell
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols.
CoRR
(2020)
Yiyun Liang
,
Zhucheng Tu
,
Laetitia Huang
,
Jimmy Lin
CNNs for NLP in the Browser: Client-Side Deployment and Visualization Opportunities.
NAACL-HLT (Demonstrations)
(2018)