15 citations · 42 across the 14 of their papers we have counts for
4 papers · 1 filter
Idiolect: A Reconfigurable Voice Coding Assistant
Breandan Considine, Nicholas Albion, Xujie Si
This paper presents Idiolect, an open source (https://github.com/OpenASR/idiolect) IDE plugin for voice coding and a novel approach to building bots that allows for users to define…
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Chuqin Geng, Yihan Zhang, Brigitte Pientka +1
The recent introduction of ChatGPT has drawn significant attention from both industry and academia due to its impressive capabilities in solving a diverse range of tasks, including…
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
Ziyan Luo, Xujie Si
Solving Constrained Horn Clauses (CHCs) is a fundamental challenge behind a wide range of verification and analysis tasks. Data-driven approaches show great promise in improving CH…
Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students
Chuqin Geng, Wenwen Xu, Yingjie Xu +2
Instructors and students alike are often focused on the grade in programming assignments as a key measure of how well a student is mastering the material and whether a student is s…