5 papers
Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs
Jierui Zhang, Siyuan Tan, Xinhang Li +8
Large language models (LLMs) are increasingly capable of mathematical problem solving and can even assist with research-level proofs, yet we still lack a scalable and reproducible…
STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework
Wenhao Liu, Zhenyi Lu, Xinyu Hu +13
High-quality math datasets are crucial for advancing the reasoning abilities of large language models (LLMs). However, existing datasets often suffer from three key issues: outdate…
Quantifying Community Evolution in Developer Social Networks: Proof of Indices' Properties
Liang Wang, Ying Li, Jierui Zhang +1
The document provides the proof to properties of community evolution indices including community split and shrink in paper: Liang Wang, Ying Li, Jierui Zhang, and Xianping Tao. 202…
Quantitative Analysis of Community Evolution in Developer Social Networks Around Open Source Software Projects
Liang Wang, Ying Li, Jierui Zhang +1
Understanding the evolution of communities in developer social networks (DSNs) around open source software (OSS) projects can provide valuable insights about the socio-technical pr…
Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks
Liang Wang, Zhiwen Zheng, Xiangchen Wu +3
On open source software (OSS) platforms such as GitHub, forking and accepting pull-requests is an important approach for OSS projects to receive contributions, especially from exte…