Author

Aida Usmanova

h-index 3 View on Semantic Scholar

We have 2 of 8 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

How Robust Are Automated Fact-Checking Systems? A Cross-Benchmark Evaluation

On ClimateCheck claim-only and fine-tuned models outperform zero-shot LLM and top-performing AVeriTeC 2025 systems, highlighting that noisy evidence can degrade veracity prediction and replacing retrieved evidence with gold annotations improves veracity accuracy, confirming retrieval remains primary bottleneck.

Aida Usmanova, Z. Iklassov, Markus Leippold et al. · 0 citations

Jul 2026

SymStep: Symbolic Step Verification for Logical Reasoning

SymStep: an LLM makes one atomic claim at a time (DEDUCE: Alice, pet, Cat), then a lightweight constraint propagator checks the claim for consistency with prior accepted deductions, rejects contradictions, and cascades implied facts automatically.

Aida Usmanova, Rui Gao, Dilshod Azizov et al. · arXiv.org · 0 citations