Author

Yancui Hu

h-index 0 View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems

ReuF2F is introduced, a Lean 4 benchmark of 244 formalized open problems drawn from Research Experiences for Undergraduates (REU), spanning entry-level open research problems across a broad range of mathematical subfields and adopts a standard coding-agent evaluation setting.

Ze-Yu Zheng, Yi-Yan Liu, Yu-Yang Zhao et al. · 0 citations

Open access Aug 2026

StructFix: a structure-aware reasoning framework for automated program repair with code property graphs

StructFix is proposed, a structure-aware APR framework that grounds masked patch generation in Code Property Graphs (CPGs), and explicitly coupling structural dependencies with masked generation improves repair effectiveness and enables transfer across datasets.

Mengtian Cui, Yang-Fan Liu, Zhibo Lu et al. · International Conference on... · 0 citations