Zhengfeng Yang
Scholar

Zhengfeng Yang

Google Scholar ID: jBDmZeQAAAAJ
East China Normal University
Symbolic ComputationFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,573
 
H-index
22
 
i10-index
35
 
Publications
20
 
Co-authors
1
list available
Contact
No contact links provided.
Publications
9 items
Richer Representations for Neural Algorithmic Reasoning via Auxiliary Reconstruction
2026
Cited
0
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
2026
Cited
0
Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs
2026
Cited
0
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
2025
Cited
0
Automated Proof of Polynomial Inequalities via Reinforcement Learning
2025
Cited
0
A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
2025
Cited
0
CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization
2025
Cited
0
Open-Book Neural Algorithmic Reasoning
2024
Cited
0
Resume (English only)
Co-authors
1 total
Co-author 1
Co-author 1