Chuqin Geng - RankMe

20 papers A* 1B 2C 1Journal 13Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning. CoRR Chuqin Geng, Li Zhang, Haolin Ye, Ziyu Zhao, Yuhe Jiang, Tara Saba, Xinyu Wang, Xujie Si
2026	J	`jnl`	Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints. CoRR Chuqin Geng, Li Zhang, Mark Zhang, Haolin Ye, Ziyu Zhao, Xujie Si
2025	J	`jnl`	Decoding Interpretable Logic Rules from Neural Networks. CoRR Chuqin Geng, Xiaojie Xu, Zhaoyue Wang, Ziyu Zhao, Xujie Si
2025	J	`jnl`	Extracting Interpretable Logic Rules from Graph Neural Networks. CoRR Chuqin Geng, Zhaoyue Wang, Ziyu Zhao, Haolin Ye, Xujie Si
2025	J	`jnl`	Learning Interpretable Logic Rules from Deep Vision Models. CoRR Chuqin Geng, Yuhe Jiang, Ziyu Zhao, Haolin Ye, Zhaoyue Wang, Xujie Si
2025	—	`conf`	Learning Minimal Neural Specifications. NeuS Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si
2024	J	`jnl`	Learning Minimal NAP Specifications for Neural Network Verification. CoRR Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si
2024	J	`jnl`	SAT-DIFF: A Tree Diffing Framework Using SAT Solving. CoRR Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si
2024	C	`conf`	Towards Robust Saliency Maps. ACML Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng
2023	J	`jnl`	Can ChatGPT Pass An Introductory Level Functional Language Programming Course? CoRR Chuqin Geng, Yihan Zhang, Brigitte Pientka, Xujie Si
2023	—	`conf`	Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students. SIGCSE (1) Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
2023	J	`jnl`	Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students. CoRR Chuqin Geng, Wenwen Xu, Yingjie Xu, Brigitte Pientka, Xujie Si
2023	—	`conf`	Scalar Invariant Networks with Zero Bias. NeurReps Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
2023	B	`conf`	TorchProbe: Fuzzing Dynamic Deep Learning Compilers. APLAS Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
2023	J	`jnl`	TorchProbe: Fuzzing Dynamic Deep Learning Compilers. CoRR Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
2023	A*	`conf`	Towards Reliable Neural Specifications. ICML Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
2022	B	`conf`	Novice Type Error Diagnosis with Natural Language Models. APLAS Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
2022	J	`jnl`	Novice Type Error Diagnosis with Natural Language Models. CoRR Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
2022	J	`jnl`	Scalar Invariant Networks with Zero Bias. CoRR Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
2022	J	`jnl`	Toward Reliable Neural Specifications. CoRR Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si