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.

Shaoshi Chen
SearchCollections
Map detail
Shaoshi Chen21 visible / 21 total nodes / 57 links

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

Co-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-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipAuthorshipShaoshi ChenAShaoshi ChenResearcherAutomated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMsWAutomated Formal Proofs...preprint / 2026Hangyu LvAHangyu LvResearcherBeibei XiongABeibei XiongResearcherJunqi LiuAJunqi LiuResearcherYisen WangAYisen WangResearcherJianlin WangAJianlin WangResearcherZhengfeng YangAZhengfeng YangResearcherLihong ZhiALihong ZhiResearcherStability Problems in Symbolic IntegrationWStability Problems in S...preprint / 2022Constructing minimal telescopers for rational functions in three discrete variablesWConstructing minimal te...preprint / 2022Lazy Hermite Reduction and Creative Telescoping for Algebraic FunctionsWLazy Hermite Reduction ...preprint / 2021Separability Problems in Creative TelescopingWSeparability Problems i...preprint / 2021Telescopers for differential forms with one parameterWTelescopers for differe...preprint / 2021On the Existence of Telescopers for Rational Functions in Three VariablesWOn the Existence of Tel...preprint / 2020Integral P-Recursive SequencesWIntegral P-Recursive Se...preprint / 2020A Note on Lipshitz's Lemma 3WA Note on Lipshitz's Le...preprint / 2011Symbolic Integration of Differential Forms: From Abel to ZeilbergerWSymbolic Integration of...preprint / 2026Residues and Telescopers for Rational FunctionsWResidues and Telescoper...preprint / 2012Trading Order for Degree in Creative TelescopingWTrading Order for Degre...preprint / 2012Machine LearningTMachine Learning49008 works
Person20 links

Shaoshi Chen

Researcher

PaperAutomated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMsAuthorship / preprint / 2026PersonHangyu LvCo-authorship / ResearcherPersonBeibei XiongCo-authorship / ResearcherPersonJunqi LiuCo-authorship / ResearcherPersonYisen WangCo-authorship / ResearcherPersonJianlin WangCo-authorship / ResearcherPersonZhengfeng YangCo-authorship / ResearcherPersonLihong ZhiCo-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)