Abstract
A brief submission of 150–300 words including title and keywords, used for reviewer bidding.
AI/CORE Unranked
AI4Math-YSDA 2026
AI4Math Intensive YSDA 2026
1778878800000Moscow, Russia (Yandex School of Data Analysis)Official conference site Link status unverified
AI4Math-YSDA 2026 is an intensive course at Yandex School of Data Analysis (YSDA) that culminates in a full academic publication cycle, simulating a peer-reviewed conference. Participants develop research papers in AI for mathematics, using tools like Lean 4 verification and SciLib-GRC21, and submit them via OpenReview with a structured process including abstracts, full papers, double-blind reviewing, author responses, and final presentations.
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Full Paper
A complete research paper in PDF format, 4–8 pages (excluding references), with required sections: Introduction, Related Work, Methodology, Results, and Conclusion.
Research areas in scope
01
Research Topics
AI for mathematicsFormal verification with Lean 4Mathlib search via SciLib-GRC21PDF reading and analysisWeb search integrationAI-assisted scientific research
Policies worth checking twice
- Double-blind review: both authors and reviewers are anonymized.
- Each participant must review three papers.
- Paper length must be 4–8 pages excluding references.
- Submissions must be made via OpenReview.
- Author responses are required after receiving reviews.
- All deadlines are at 23:59 MSK.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026