2 papers
cs.CL2025
Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco +2
The success of Large Language Models (LLMs) in human-AI collaborative decision-making hinges on their ability to provide trustworthy, gradual, and tailored explanations. Solving co…
cs.PL2024
Leroy: Library Learning for Imperative Programming Languages
Abhiram Bellur, Razan Alghamdi, Kidus Workneh +1
Library learning is the process of building a library of common functionalities from a given set of programs. Typically, this process is applied in the context of aiding program sy…