…the model’s internals and output distributions, so they are inaccessible to end-users looking to adapt LLM outputs for their particular needs. In this study, we examine whether structured prompting techniques can offer opportunities for fair text generation. We evaluate a compreh…

…within the SLE-track Committee Member in Program Committee within the SLE-track Jason Cong Cong, Jason UCLA Jason Cong (UCLA) Youyou Cong Cong, Youyou Institute of Science Tokyo Japan Committee Member in Review Committee within the SPLASH OOPSLA-track Mary Rose Cook Cook, Mary Ro…

…obabilistic Programming QED in Context: An Observation Study of Proof Assistant Users Sergey Goncharov Goncharov, Sergey University of Birmingham United Kingdom Bialgebraic Reasoning on Stateful Languages Big Steps in Higher-Order Mathematical Operational Semantics Léon Gondelman…

…tion for Non-cumulativity ICFP Papers Shengyi Jiang The University of Hong Kong Jason Z. S. Hu Amazon Bruno C. d. S. Oliveira University of Hong Kong DOI 14:30 25m Talk Type Theory in Type Theory using a Strictified Syntax ICFP Papers Ambrus Kaposi ELTE Eötvös Loránd University, …

…es.frogs 37 History of Science DorseyE 37 Children's Literature, ENGL 2370-01 Nousersleft 37 EEB388 Diversity of Mammals Maxs-Blogo-Saurus 37 EEB388 Diversity of Mammals Carzago2006 37 Multimedia Writing and Rhetoric Soysauce999 37 Global Feminisms Spring 2026 Meredith Duff 37 Wr…