Get started
Author

Kalina Nikolova

Observed name: Nikolova, Kalina
OpenAlex ID: A5120500052
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
2025 · Dekoninck, Jasper, Petrov, Ivo, et al. · arXiv (Cornell University) · 1
PDF
Works count: 1
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type