7 citations · 9 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
DIALOG-22 RuATD Generated Text Detection
Narek Maloyan, Bulat Nutfullin, Eugene Ilyushin
Text Generation Models (TGMs) succeed in creating text that matches human language style reasonably well. Detectors that can distinguish between TGM-generated text and human-writte…