Learning Minimal Neural Specifications
Conference oral presentation, NeuS, Philadelphia, Pennsylvania, USA
Talks and presentations
Towards Reliable Neural Specifications
Conference oral presentation, ICML, Honolulu, Hawaii, USA
A Study on Student Performance Clusters
Conference proceedings talk, SIGCSE, Toronto, Canada
Novice Type Error Diagnosis with Natural Language Models
Conference proceedings talk, APLAS, Auckland, New Zealand
Automatic Code Generation using Large Language Models
PhD Comprehensive Exam, McGill University, Montreal, Canada