Scholar

Stanislav Kikot

Google Scholar ID: lL8Xyh0AAAAJ

London Metropolitan University

Artificial IntelligenceKnowledge Representation and ReasoningMathematical Logic

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

635

H-index

13

i10-index

20

Publications

20

Co-authors

10

list available

Contact

No contact links provided.

Publications

1 items

Pipeline for Verifying LLM-Generated Mathematical Solutions

2026

Cited

0

Resume (English only)

Co-authors

10 total

Michael Zakharyaschev

Birkbeck, University of London

Roman Kontchakov

Reader, Birkbeck, University of London

Vladimir Podolskii

Tufts University

Professor of Informatics, University of Calabria