Neuro-symbolic program corrector for introductory programming assignments

Automatic correction of programs is a challenging problem with numerous real world applications in security, verification, and education. One application that is becoming increasingly important is the correction of student submissions in online courses for providing feedback. Most existing program r...

Full description

Saved in:

Bibliographic Details
Main Authors:	Bhatia, Sahil, Kohli, Pushmeet, Singh, Rishabh
Format:	Conference Proceeding
Language:	English
Subjects:	Automated Feedback Generation Computing methodologies > Machine learning > Machine learning approaches > Neural networks Maintenance engineering Neural guided search Neural Program Correction Prediction algorithms Programming Recurrent neural networks Semantics Software and its engineering > Software creation and management > Search-based software engineering Software and its engineering > Software organization and properties > Software functional properties > Correctness > Functionality Syntactics
Online Access:	Request full text
Tags:	Add Tag No Tags, Be the first to tag this record!