Scholar
Jianlin Wang
Google Scholar ID: fdXqvykAAAAJ
Leavey School of Business, Santa Clara University
Financial Economics
International Economics
Macroeconomics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
171
H-index
3
i10-index
1
Publications
6
Co-authors
0
Publications
4 items
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
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
