3 papers
cs.AI2026
Harnessing non-adversarial robustness in large language models
Qinghua Zhou, Ellina Aleshina, Andrey Lovyagin +6
The work presents an approach for addressing the challenge of robustness in Large Language Models (LLMs) to alterations and potential errors caused by semantically similar but text…
cs.CV2025
Staining and locking computer vision models without retraining
Oliver J. Sutton, Qinghua Zhou, George Leete +2
We introduce new methods of staining and locking computer vision models, to protect their owners' intellectual property. Staining, also known as watermarking, embeds secret behavio…
cs.LO2025
StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk +1
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interfac…