3 papers
math.LO2026
Stalnaker's logical problem of conditionals is unsolvable
Alexander W. Kocurek, James Walsh, Yale Weiss
The logical problem of conditionals, as conceived by Stalnaker, amounts to axiomatizing a particular semantics for conditionals which utilizes selection functions that take proposi…
math.LO2026
Incompleteness in Quantified Conditional Logic
Alexander W. Kocurek, James Walsh, Yale Weiss
Stalnaker and Thomason famously proved that the conditional logic \textsf{C2} with first-order quantifiers is complete with respect to a selection function semantics. However, the…
cs.CL2024
Rel-A.I.: An Interaction-Centered Approach To Measuring Human-LM Reliance
Kaitlyn Zhou, Jena D. Hwang, Xiang Ren +3
The ability to communicate uncertainty, risk, and limitation is crucial for the safety of large language models. However, current evaluations of these abilities rely on simple cali…