26 citations · 39 across the 19 of their papers we have counts for
4 papers · 1 filter
Structural Analysis of Hybrid-Trace Nets: An Optimization Approach
Nguyen Cong Nhat Le, Claire N. Bonial, John G. Rogers +1
Fault and error detection is crucial for ensuring the correctness of safety-critical systems. Safety verification often addresses reachability of bad system states, where exhaustiv…
Sycophancy Undermines Epistemic Vigilance in Cooperative Vision-Language Tasks
Rupak Sarkar, Neha Srikanth, Saloni Gupta +3
To maintain common ground in cooperative conversation, humans iteratively update their beliefs as conversation participants share new information; participants who are epistemicall…
Linguistic Productivity in Large Language Models: Models Coerce, but do not Preempt
Claire Bonial, Claire Benet Post, Laura Michaelis +1
Usage-based theories of grammar explain language users' ability to interpret and produce novel combinations of words through two complementary inferential strategies. In cases of c…
Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
Nguyen Cong Nhat Le, John G. Rogers, Claire N. Bonial +1
Plans often change due to changes in the situation or our understanding of the situation. Sometimes, a feasible plan may not even exist, and identifying such infeasibilities is use…