Login / Signup
Jianxing Qin
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Weakly Labeled
Multiscale
Video Annotation
Manual Annotation
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Litao Zhou
,
Jianxing Qin
,
Qinshi Wang
,
Andrew W. Appel
,
Qinxiang Cao
VST-A: A Foundationally Sound Annotation Verifier.
Proc. ACM Program. Lang.
8 (POPL) (2024)