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.

Hang Lei
SearchCollections
Map detail
Hang Lei9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHang LeiAHang LeiResearcherBeyond Direct Generation: A Decomposed Approach to Well-Crafted Screenwriting with LLMsWBeyond Direct Generatio...preprint / 2026Spread Mechanism and Influence Measurement of Online Rumors in China During the COVID-19 PandemicWSpread Mechanism and In...preprint / 2021Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool CoqWLolisa: Formal syntax a...preprint / 2021A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart ContractsWA Hybrid Formal Verific...preprint / 2020Rewarding Creativity: A Human-Aligned Generative Reward Model for Reinforcement Learning in StorytellingWRewarding Creativity: A...preprint / 2026An Empirical Study on Sentiment Classification of Chinese Review using Word EmbeddingWAn Empirical Study on S...preprint / 2015Machine Learned Resume-Job Matching SolutionWMachine Learned Resume-...preprint / 2016DPCP-p: A Distributed Locking Protocol for Parallel Real-Time TasksWDPCP-p: A Distributed L...preprint / 2020
Person8 links

Hang Lei

Researcher

PaperBeyond Direct Generation: A Decomposed Approach to Well-Crafted Screenwriting with LLMsAuthorship / preprint / 2026PaperSpread Mechanism and Influence Measurement of Online Rumors in China During the COVID-19 PandemicAuthorship / preprint / 2021PaperLolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool CoqAuthorship / preprint / 2021PaperA Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart ContractsAuthorship / preprint / 2020PaperRewarding Creativity: A Human-Aligned Generative Reward Model for Reinforcement Learning in StorytellingAuthorship / preprint / 2026PaperAn Empirical Study on Sentiment Classification of Chinese Review using Word EmbeddingAuthorship / preprint / 2015PaperMachine Learned Resume-Job Matching SolutionAuthorship / preprint / 2016PaperDPCP-p: A Distributed Locking Protocol for Parallel Real-Time TasksAuthorship / preprint / 2020

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)