2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LG2026
Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism
Sergei Vorobyov, Eugene Ilyushin
Formal neural network verification -- proving that a network satisfies safety properties for *all* inputs in a specified domain -- is bounded in practice by GPU memory: standard im…
cs.AI2026
SafeAgent: A Runtime Protection Architecture for Agentic Systems
Hailin Liu, Eugene Ilyushin, Jie Ni +1
Large language model (LLM) agents are vulnerable to prompt-injection attacks that propagate through multi-step workflows, tool interactions, and persistent context, making input-ou…
cs.CV2024★ 2 cited
Uncertainty-Aware Evaluation for Vision-Language Models
Vasily Kostumov, Bulat Nutfullin, Oleg Pilipenko +1
Vision-Language Models like GPT-4, LLaVA, and CogVLM have surged in popularity recently due to their impressive performance in several vision-language tasks. Current evaluation met…