Jianlin Wang

Identifiers

• name variant Jianlin Wang 0.60 · backfill

Papers (3)

1. From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates cs.AI · 2026 · author #5
2. Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs cs.LG · 2026 · author #6
3. Direct Imaging Revealing Halved Ferromagnetism in Tensile-Strained LaCoO3 Thin Films cond-mat.str-el · 2019 · author #7

Mentions

• 2605.15445 #5 · arxiv_oai · confidence 0.70 Jianlin Wang

Frequent Coauthors

• Zhengfeng Yang 2 shared papers
• Beibei Xiong 1 shared papers
• Chao Ma 1 shared papers
• Dechao Meng 1 shared papers
• Gaolei He 1 shared papers
• Genhao Liang 1 shared papers
• Haibiao Zhou 1 shared papers
• Hangyu Lv 1 shared papers
• Hanrui Zhao 1 shared papers
• Haoliang Huang 1 shared papers
• Jinghua Guo 1 shared papers
• Junqi Liu 1 shared papers
• Lihong Zhi 1 shared papers
• Qingyou Lu 1 shared papers
• Qiyuan Feng 1 shared papers
• Ruobing Zuo 1 shared papers
• Shaoshi Chen 1 shared papers
• Xiaofang Zhai 1 shared papers
• Yalin Lu 1 shared papers
• Yisen Wang 1 shared papers