Scholar

Zhengfeng Yang

Google Scholar ID: jBDmZeQAAAAJ

East China Normal University

Symbolic ComputationFormal Methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

696

H-index

16

i10-index

22

Publications

20

Co-authors

1

list available

Contact

No contact links provided.

Publications

6 items

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

Sponsored Search Auction Design Beyond Single Utility Maximization

arXiv.org · 2024

Cited

1

Resume (English only)

Co-authors

1 total