3 papers
cs.CL2026
Towards Spec Learning: Inference-Time Alignment from Preference Pairs
Dhriti Krishnan, Tejas Goyal, Jaromir Savelka
Steering a large language model (LLM) toward a desired behavior typically relies on an iterative process of hand-crafting a prompt based on a careful inspection of the model's resp…
cs.SE2026
Changes in Coding Behavior and Performance Since the Introduction of LLMs
Yufan Zhang, Jaromir Savelka, Seth Copen Goldstein +1
The widespread availability of large language models (LLMs) has changed how students engage with coding and problem-solving. While these tools may increase student productivity, th…
cs.CL2025
What Are the Facts? Automated Extraction of Court-Established Facts from Criminal-Court Opinions
Klára Bendová, Tomáš Knap, Jan Černý +4
Criminal justice administrative data contain only a limited amount of information about the committed offense. However, there is an unused source of extensive information in contin…