Goal reasoning in Non-Axiomatic Logic (NAL) explains how an adaptive system derives means for realizing desired events under insufficient knowledge and resources. However, the representation of avoidance is less clear.
arXiv:2606. 31748v1 Announce Type: new Abstract: Safety training on language models often induces over-refusal: improved safety on harmful prompts at the cost of increased refusal on harmless ones.
By Taeyoun Kim, Aviral Kumar
arXiv:2608. 15673v1 Announce Type: cross Abstract: Large language model guardrails can be viewed as policy-consistency problems: a system must determine which policy-relevant facts hold in a prompt-response pair and what those facts imply under a given policy.
By Satchit Chatterji, Shihan Wang, Giovanni Sileno, Erman Acar
arXiv:2510. 15395v2 Announce Type: replace Abstract: An AI agent will learn a desired goal more effectively if it does not resist the training process, but many partially learned goals incentivize an AI to avoid further goal updates.
By Rubi Hudson
arXiv:2501. 06857v3 Announce Type: replace Abstract: Perhaps the most popular modern formulation of actual causality is the HP account by Halpern and Pearl.
By Daxin Liu (Nanjing University), Vaishak Belle (The University of Edinburgh)
arXiv:2606. 25013v1 Announce Type: new Abstract: Today's reasoning models use thinking tokens to attain stronger performance on benchmarks than their instruction-tuned counterparts.
By Narutatsu Ri, Abhishek Panigrahi, Sanjeev Arora