Picture for Chuqin Geng

Chuqin Geng

Learning Minimal NAP Specifications for Neural Network Verification

Add code
Apr 06, 2024
Viaarxiv icon

Can ChatGPT Pass An Introductory Level Functional Language Programming Course?

Add code
May 04, 2023
Viaarxiv icon

Scalar Invariant Networks with Zero Bias

Add code
Nov 15, 2022
Viaarxiv icon

Toward Reliable Neural Specifications

Add code
Nov 14, 2022
Viaarxiv icon

Novice Type Error Diagnosis with Natural Language Models

Add code
Oct 07, 2022
Figure 1 for Novice Type Error Diagnosis with Natural Language Models
Figure 2 for Novice Type Error Diagnosis with Natural Language Models
Figure 3 for Novice Type Error Diagnosis with Natural Language Models
Figure 4 for Novice Type Error Diagnosis with Natural Language Models
Viaarxiv icon