Darion Cassel

Researcher, Amazon

Joined

September 2024

Names

Darion Cassel (Preferred)

Emails

****@gmail.com (Confirmed)

****@amazon.com (Confirmed)

****@alumni.cmu.edu (Confirmed)

Personal Links

Career & Education History

Researcher

Amazon (amazon.com)

2023 – 2026

PhD student

Carnegie Mellon University (cmu.edu)

2017 – 2023

Advisors, Relations & Conflicts

PhD Advisor

Limin Jia

2017 – 2023

Expertise

No areas of expertise listed

Publications

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
- CoRR 2025
- Readers: Everyone
A Neurosymbolic Approach to Natural Language Formalization and Verification
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien et al. (8 additional authors not shown)
- CoRR 2025
- Readers: Everyone
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
- CoRR 2025
- Readers: Everyone
A Neurosymbolic Approach to Natural Language Formalization and Verification
Sam Bayless, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Joe Hendrix, Marc Hudak, Dejan Jovanović, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric et al. (5 additional authors not shown)
- Submitted to ICLR 2026
- Readers: Everyone
ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models
Andre Wang He, Nathaniel Weir, Kaj Bostrom, Allen Nie, Darion Cassel, Sam Bayless, Huzefa Rangwala
- Submitted to ICLR 2026
- Readers: Everyone
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 Poster
- Readers: Everyone
A Community-driven vision for a new Knowledge Resource for AI
Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick Kyllonen, Yuliya Lierler et al. (12 additional authors not shown)
- CoRR 2025
- Readers: Everyone
A community-driven vision for a new knowledge resource for AI
Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick Kyllonen, Yuliya Lierler et al. (12 additional authors not shown)
- AI Mag. 2025
- Readers: Everyone
NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities
Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia
- NDSS 2025
- Readers: Everyone
NodeMedic: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs
Darion Cassel, Wai Tuck Wong, Limin Jia
- EuroS&P 2023
- Readers: Everyone

View all 18 publications

Co-Authors

View all 86 co-authors