115 citations · 413 across the 23 of their papers we have counts for
4 papers · 1 filter
Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs
Ke Wang, Zhendong Su
Geometry theorem proving forms a major and challenging component in the K-12 mathematics curriculum. A particular difficult task is to add auxiliary constructions (i.e, additional…
Data-Driven Feedback Generation for Introductory Programming Exercises
Ke Wang, RIshabh Singh, Zhendong Su
This paper introduces the "Search, Align, and Repair" data-driven program repair framework to automate feedback generation for introductory programming exercises. Distinct from exi…
Dynamic Neural Program Embedding for Program Repair
Ke Wang, Rishabh Singh, Zhendong Su
Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, fault localization, etc. However, m…
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
Zhoulai Fu, Zhendong Su
Achieving high code coverage is essential in testing, which gives us confidence in code quality. Testing floating-point code usually requires painstaking efforts in handling floati…