Chuqin Geng

According to our database, Chuqin Geng authored at least 18 papers between 2022 and 2026.

Collaborative distances:

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

2026

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent.

Youyuan Zhang, Jialiang Sun, Hangrui Bi, Chuqin Geng, Wenjie Ma, Zhaoyu Li, Xujie Si

CoRR, April, 2026

Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints.

Chuqin Geng, Li Zhang, Mark Zhang, Haolin Ye, Ziyu Zhao, Xujie Si

CoRR, February, 2026

Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning.

Chuqin Geng, Li Zhang, Haolin Ye, Ziyu Zhao, Yuhe Jiang, Tara Saba, Xinyu Wang, Xujie Si

CoRR, February, 2026

2025

Extracting Interpretable Logic Rules from Graph Neural Networks.

Chuqin Geng, Zhaoyue Wang, Ziyu Zhao, Haolin Ye, Xujie Si

CoRR, March, 2025

Learning Interpretable Logic Rules from Deep Vision Models.

Chuqin Geng, Yuhe Jiang, Ziyu Zhao, Haolin Ye, Zhaoyue Wang, Xujie Si

CoRR, March, 2025

Decoding Interpretable Logic Rules from Neural Networks.

Chuqin Geng, Xiaojie Xu, Zhaoyue Wang, Ziyu Zhao, Xujie Si

CoRR, January, 2025

Learning Minimal Neural Specifications.

Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

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

Towards Robust Saliency Maps.

Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng

Proceedings of the Asian Conference on Machine Learning, 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

Scalar Invariant Networks with Zero Bias.

Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si

Proceedings of the NeurIPS Workshop on Symmetry and Geometry in Neural Representations, 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

Novice Type Error Diagnosis with Natural Language Models - Artifacts.

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

Dataset, August, 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