AI-reviewer of arXiV papers.

Current corpus731 papers

Search the corpus

Advanced paper search

Metadata fields
Claimed MSC classifications
No MSC filter selected

Choose a code at any level. Narrower classifications load when needed. Labels follow the official Mathematics Subject Classification 2020 ↗.

Parent selections use prefixes. For example, 68V matches every 68Vxx code represented in the corpus.

Date
Subject scope

Audit result tags

Within a category, selected tags are alternatives. Selections in different categories must all match. Leave a category empty to ignore it.

Statements
Proofs
Novelty
Display and version options
Abstracts and mathematical typesetting are available on each paper page.

Current results

13 papers

Showing 1–13. Matching the exact displayed author name “Taehyeong Kim”; people with identical names are not distinguished. Metadata from arXiv. MSC classifications are author-supplied claims. Bundled corpus refreshed Oct 24, 2026; latest included record Oct 21, 2026.