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.

Zhe Hou
SearchCollections
Map detail
Zhe Hou13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipZhe HouAZhe HouResearcherNonlocal Correlation Mediated by Weyl OrbitsWNonlocal Correlation Me...preprint / 2020Vibe Coding an LLM-powered Theorem ProverWVibe Coding an LLM-powe...preprint / 2026Proof search for propositional abstract separation logics via labelled sequentsWProof search for propos...preprint / 2013A Labelled Sequent Calculus for BBI: Proof Theory and Proof SearchWA Labelled Sequent Calc...preprint / 2015Completeness for a First-order Abstract Separation LogicWCompleteness for a Firs...preprint / 2016An Executable Formal Model of the VHDL in Isabelle/HOLWAn Executable Formal Mo...preprint / 2022Extracting Optimal Explanations for Ensemble Trees via Logical ReasoningWExtracting Optimal Expl...preprint / 2021Double Andreev reflections and double normal reflections in nodal-line semimetal-superconductor junctionsWDouble Andreev reflecti...preprint / 2020Electron interactions in strain-induced zero-energy flat band in twisted bilayer graphene near the magic angleWElectron interactions i...preprint / 2020A Movable Valley Switch Driven by Berry Phase in Bilayer Graphene ResonatorsWA Movable Valley Switch...preprint / 2019Geometric Theory for Program TestingWGeometric Theory for Pr...preprint / 2022MUC-driven Feature Importance Measurement and Adversarial Analysis for Random ForestWMUC-driven Feature Impo...preprint / 2022
Person12 links

Zhe Hou

Researcher

PaperNonlocal Correlation Mediated by Weyl OrbitsAuthorship / preprint / 2020PaperVibe Coding an LLM-powered Theorem ProverAuthorship / preprint / 2026PaperProof search for propositional abstract separation logics via labelled sequentsAuthorship / preprint / 2013PaperA Labelled Sequent Calculus for BBI: Proof Theory and Proof SearchAuthorship / preprint / 2015PaperCompleteness for a First-order Abstract Separation LogicAuthorship / preprint / 2016PaperAn Executable Formal Model of the VHDL in Isabelle/HOLAuthorship / preprint / 2022PaperExtracting Optimal Explanations for Ensemble Trees via Logical ReasoningAuthorship / preprint / 2021PaperDouble Andreev reflections and double normal reflections in nodal-line semimetal-superconductor junctionsAuthorship / 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)