4 citations · 4 across the 3 of their papers we have counts for
3 papers
From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions
Ali Alfageeh, Sadegh AlMahdi Kazemi Zarkouei, Daye Nam +9
Background and Context. The increasing integration of large language models (LLMs) in computing education presents an emerging challenge in understanding how students use LLMs and…
How much does AI impact development speed? An enterprise-based randomized controlled trial
Elise Paradis, Kate Grey, Quinn Madison +6
How much does AI assistance impact developer productivity? To date, the software engineering literature has provided a range of answers, targeting a diversity of outcomes: from per…
Predictive Synthesis of API-Centric Code
Daye Nam, Baishakhi Ray, Seohyun Kim +2
Today's programmers, especially data science practitioners, make heavy use of data-processing libraries (APIs) such as PyTorch, Tensorflow, NumPy, Pandas, and the like. Program syn…