conftrace_

Papers

17,973 papers found · 2,658 more still awaiting a processed abstract Show those too
Questions about Contracts: Prompt Templates for Structured Answer Generation
Adam Roegiest, Radha Chitta, Jonathan Donnelly et al.
2023 EMNLP
2023 EMNLP
2023 EMNLP
2023 EMNLP
2023 EMNLP
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury et al.
2023 EMNLP
Rather a Nurse than a Physician - Contrastive Explanations under Investigation
Oliver Eberle, Ilias Chalkidis, Laura Cabello et al.
2023 EMNLP
2023 EMNLP
Reader: Model-based language-instructed reinforcement learning
Nicola Dainese, Pekka Marttinen, Alexander Ilin
2023 EMNLP
2023 EMNLP
Reasoning about Ambiguous Definite Descriptions
Stefan Schouten, Peter Bloem, Ilia Markov et al.
2023 EMNLP