Chuqin Geng

According to our database, Chuqin Geng authored at least 9 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SAT-DIFF: A Tree Diffing Framework Using SAT Solving.

Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si

CoRR, 2024

Learning Minimal NAP Specifications for Neural Network Verification.

Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si

CoRR, 2024

2023

Can ChatGPT Pass An Introductory Level Functional Language Programming Course?

Chuqin Geng, Yihan Zhang, Brigitte Pientka, Xujie Si

CoRR, 2023

Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students.

Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

Towards Reliable Neural Specifications.

Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si

Proceedings of the International Conference on Machine Learning, 2023

TorchProbe: Fuzzing Dynamic Deep Learning Compilers.

Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Scalar Invariant Networks with Zero Bias.

Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si

CoRR, 2022

Toward Reliable Neural Specifications.

Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si

CoRR, 2022

Novice Type Error Diagnosis with Natural Language Models.

Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022