Author

Dilshod Azizov

h-index 8 View on Semantic Scholar

We have 1 of 23 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.

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