Yutong Xin

Factors Influencing on Educational Expenditure and Regional Differences in Educational Expenditure Per Capita: Based on the National Bureau of Statistics in 2020

2023 · Advances in Social Science, Education and Humanities Research/Advances in social science, education and humanities research

As an important livelihood project, education is often concerned by researchers in various fields.Meanwhile, education equity is also an issue that governments at all levels and all sectors of society pay close attention to.The timeliness …

Automated Discovery of Tactic Libraries for Interactive Theorem Proving

2025 · arXiv (Cornell University)

Enabling more concise and modular proofs is essential for advancing formal reasoning using interactive theorem provers (ITPs). Since many ITPs, such as Rocq and Lean, use tactic-style proofs, learning higher-level custom tactics is crucial for …