Login / Signup
Luke West
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Virtual Reality
Provably Correct
Mathematical Knowledge
Conversational Agents
Top Venues
J. Comput. Assist. Learn.
Proc. ACM Program. Lang.
ICLS
CHI Extended Abstracts
</>
Publications
</>