Mateo Matijasevick

Identifiers

• name variant Mateo Matijasevick 0.60 · backfill

Papers (1)

1. Statistical Proof as a Window into Human-AI Collaboration: Practical Insights and a Community Agenda stat.OT · 2026 · author #4

Mentions

• 2606.23666 #4 · arxiv_oai · confidence 0.70 Mateo Matijasevick

Frequent Coauthors

• Bingxin Zhao 1 shared papers
• Buxin Su 1 shared papers
• Chong Wu 1 shared papers
• Fei Xue 1 shared papers
• Huayu Tang 1 shared papers
• Xiaojing Sun 1 shared papers