BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jianlin Wang
SearchCollections
Map detail
Jianlin Wang18 visible / 18 total nodes / 69 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJianlin WangAJianlin WangResearcherFrom LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares CertificatesWFrom LLM-Generated Conj...preprint / 2026Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMsWAutomated Formal Proofs...preprint / 2026Zhengfeng YangAZhengfeng YangResearcherRuobing ZuoARuobing ZuoResearcherHanrui ZhaoAHanrui ZhaoResearcherGaolei HeAGaolei HeResearcherBeibei XiongABeibei XiongResearcherHangyu LvAHangyu LvResearcherJunqi LiuAJunqi LiuResearcherYisen WangAYisen WangResearcherShaoshi ChenAShaoshi ChenResearcherLihong ZhiALihong ZhiResearcherArtificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksDC-SPP-YOLO: Dense Connection and Spatial Pyramid Pooling Based YOLO for Object DetectionWDC-SPP-YOLO: Dense Conn...preprint / 2022Spin-glass state induced by Mn-doping into a moderate gap layered semiconductor SnSe$_2$WSpin-glass state induce...preprint / 2021Fermi liquid behavior and colossal magnetoresistance in layered MoOCl2WFermi liquid behavior a...preprint / 2020
Person17 links

Jianlin Wang

Researcher

PaperFrom LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares CertificatesAuthorship / preprint / 2026PaperAutomated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMsAuthorship / preprint / 2026PersonZhengfeng YangCo-authorship / ResearcherPersonRuobing ZuoCo-authorship / ResearcherPersonHanrui ZhaoCo-authorship / ResearcherPersonGaolei HeCo-authorship / ResearcherPersonBeibei XiongCo-authorship / ResearcherPersonHangyu LvCo-authorship / Researcher

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)