Picture for Chuqin Geng

Chuqin Geng

Extracting Interpretable Logic Rules from Graph Neural Networks

Add code
Mar 25, 2025
Figure 1 for Extracting Interpretable Logic Rules from Graph Neural Networks
Figure 2 for Extracting Interpretable Logic Rules from Graph Neural Networks
Figure 3 for Extracting Interpretable Logic Rules from Graph Neural Networks
Figure 4 for Extracting Interpretable Logic Rules from Graph Neural Networks
Viaarxiv icon

Learning Interpretable Logic Rules from Deep Vision Models

Add code
Mar 13, 2025
Figure 1 for Learning Interpretable Logic Rules from Deep Vision Models
Figure 2 for Learning Interpretable Logic Rules from Deep Vision Models
Figure 3 for Learning Interpretable Logic Rules from Deep Vision Models
Figure 4 for Learning Interpretable Logic Rules from Deep Vision Models
Viaarxiv icon

Decoding Interpretable Logic Rules from Neural Networks

Add code
Jan 14, 2025
Figure 1 for Decoding Interpretable Logic Rules from Neural Networks
Figure 2 for Decoding Interpretable Logic Rules from Neural Networks
Figure 3 for Decoding Interpretable Logic Rules from Neural Networks
Figure 4 for Decoding Interpretable Logic Rules from Neural Networks
Viaarxiv icon

Learning Minimal NAP Specifications for Neural Network Verification

Add code
Apr 06, 2024
Figure 1 for Learning Minimal NAP Specifications for Neural Network Verification
Figure 2 for Learning Minimal NAP Specifications for Neural Network Verification
Figure 3 for Learning Minimal NAP Specifications for Neural Network Verification
Figure 4 for Learning Minimal NAP Specifications for Neural Network Verification
Viaarxiv icon

Can ChatGPT Pass An Introductory Level Functional Language Programming Course?

Add code
May 04, 2023
Figure 1 for Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Figure 2 for Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Figure 3 for Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Figure 4 for Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Viaarxiv icon

Scalar Invariant Networks with Zero Bias

Add code
Nov 15, 2022
Figure 1 for Scalar Invariant Networks with Zero Bias
Figure 2 for Scalar Invariant Networks with Zero Bias
Figure 3 for Scalar Invariant Networks with Zero Bias
Figure 4 for Scalar Invariant Networks with Zero Bias
Viaarxiv icon

Toward Reliable Neural Specifications

Add code
Nov 14, 2022
Figure 1 for Toward Reliable Neural Specifications
Figure 2 for Toward Reliable Neural Specifications
Figure 3 for Toward Reliable Neural Specifications
Figure 4 for Toward Reliable Neural Specifications
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