Hi, nice to meet you!
I’m Darion, a researcher working on alignment at Anthropic.
Recent publications
-
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
Vikash Singh, Darion Cassel, Nathaniel Weir, Nick Feng, Sam Bayless
EMNLP 2026
-
Learning to Triage Taint Flows Reported by Dynamic Program Analysis in Node.js Packages
Ronghao Ni, Aidan Z. H. Yang, Min-Chien Hsu, Nuno Sabino, Limin Jia, Ruben Martins, Darion Cassel, Kevin Cheang
ASE 2026
-
VeriCoT: Neuro-Symbolic Chain-of-Thought Validation via Logical Consistency Checks
Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala
ICLR 2026
All publications