Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026
Language Models That Walk the Talk: A Framework for Formal Fairness Certificates
Danqing Chen, Tobias Ladner, Ahmed Rayen Mhadhbi +1
As large language models become integral to high-stakes applications, ensuring their robustness and fairness is critical. Despite their success, large language models remain vulner…
cs.AI2026
Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language Models
Danchun Chen, Qiyao Yan, Liangming Pan
Understanding how Large Language Models (LLMs) perform logical reasoning internally remains a fundamental challenge. While prior mechanistic studies focus on identifying taskspecif…