4 papers · 1 filter
AST-PAC: AST-guided Membership Inference for Code
Roham Koohestani, Ali Al-Kaswan, Jonathan Katzy +1
Code Large Language Models are frequently trained on massive datasets containing restrictively licensed source code. This creates urgent data governance and copyright challenges. M…
TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI
Roham Koohestani, AteÅ GörpelioÄlu, Egor Klimov +2
Agentic AI systems act through tools and evolve their behavior over long, stochastic interaction traces. This setting complicates assurance, because behavior depends on nondetermin…
Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
Roham Koohestani, Ziyou Li, Anton Podkopaev +1
This paper studies standard controller architectures for agentic AI and derives automata-theoretic models of their interaction behavior via trace semantics and abstraction. We mode…
AgentGuard: Runtime Verification of AI Agents
Roham Koohestani
The rapid evolution to autonomous, agentic AI systems introduces significant risks due to their inherent unpredictability and emergent behaviors; this also renders traditional veri…