xianyuelai

Download and parse LaTeX source files from arXiv preprints

Clean, format, deduplicate, and manage BibTeX bibliography files for LaTeX

Audit proofs in celestial mechanics, N-body/N-center dynamics, and singular ODE arguments for collision, separation, cluster, and…

Forward and backward citation chaining techniques for literature search

Resolve DOIs and retrieve publication metadata from CrossRef registry

Executes an end-to-end automated mathematical research pipeline combining literature search, methodology analysis, and proof framework…

Compile and audit a mathematical-journal LaTeX manuscript when mathematical typesetting, references, journal templates, or final PDF…

Audit a completed mathematical manuscript before submission for claim discipline, proof readiness, reproducibility, anonymization, and…

Analyzes mathematical literature to extract proof frameworks, classify technical methodologies, and map the evolution of scientific…

Conducts deep academic literature reviews for open mathematical problems and conjectures, compiling structured progress reports.

Strictly review an existing mathematical theorem and proof when the user asks whether it is valid, complete, or rigorous; identify gaps…

Constructs rigorous candidate proof and solution frameworks for mathematical research problems using literature analysis reports.