Distractor-Based Jailbreaking Attacks in Language Models and Associated Changes in Chain-of-Thought Content (Student Abstract). - Tate Rowney; Xuning Ying (AAAI, 2026)

DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs. - Tate Rowney; Riyaz Ahuja; Jeremy Avigad; Sean Welleck (CoRR, 2026)