Chenyan Zhao

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Grammar Induction

Automated Theorem Provers

Language Processing

Top Venues

Publications

Shan Huang, Jiwoo Lee, Chenyan Zhao, Geoffrey L. Herman, Marc Olano, Linda Oliva, Alan T. Sherman
A User Experience Study of MeetingMayhem: A Web-Based Game to Teach Adversarial Thinking. ITiCSE (1) (2024)
Chenyan Zhao, Mariana Silva, Seth Poulsen
Autograding Mathematical Induction Proofs with Natural Language Processing. CoRR (2024)
Zhengyu Liu, Xiaonan Liu, Haoshan Xie, Chenyan Zhao
Preparation and Simulation of Quantum States of Matrices. EITCE (2022)
Xiaonan Liu, Chenyan Zhao, Haoshan Xie, Zhengyu Liu
Circuit Simulation and Optimization of Quantum Search Algorithm. EITCE (2022)