Parand A. Alamdari

Identifiers

• name variant Parand A. Alamdari 0.60 · backfill

Papers (1)

1. Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems cs.AI · 2026 · author #1

Mentions

• 2605.16198 #1 · arxiv_oai · confidence 0.70 Parand A. Alamdari

Frequent Coauthors

• Sheila A. McIlraith 1 shared papers
• Toryn Q. Klassen 1 shared papers