Scholar

Jianlin Wang

Google Scholar ID: fdXqvykAAAAJ

Leavey School of Business, Santa Clara University

Financial EconomicsInternational EconomicsMacroeconomics

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

171

H-index

3

i10-index

1

Publications

6

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)