arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Yunzhou Xie"" — arXiv2 Search
Showing 1–5 of 5 results
/ Date
/ Name
Jan 20, 2026
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Oct 14, 2025
Cocycle weighted infinitesimal bialgebras and pre-Lie algebras on rooted trees
Aug 26, 2025
Moerdijk Hopf algebras of decorated rooted forests: an operated algebra approach
Jan 13, 2025
Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors
May 6, 2025
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics