Chuqin Geng

Orcid: 0000-0002-3563-1596

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
SAT-DIFF: A Tree Diffing Framework Using SAT Solving.
CoRR, 2024

Learning Minimal NAP Specifications for Neural Network Verification.
CoRR, 2024

2023
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
CoRR, 2023

Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

Towards Reliable Neural Specifications.
Proceedings of the International Conference on Machine Learning, 2023

TorchProbe: Fuzzing Dynamic Deep Learning Compilers.
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022
Scalar Invariant Networks with Zero Bias.
CoRR, 2022

Toward Reliable Neural Specifications.
CoRR, 2022

Novice Type Error Diagnosis with Natural Language Models.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022


  Loading...