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.

Haoze Wu
SearchCollections
Map detail
Haoze Wu16 visible / 16 total nodes / 49 links

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

Related contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipRelated contextAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalRelated contextHaoze WuAHaoze WuResearcherViverra: Text-to-Code with GuaranteesWViverra: Text-to-Code w...preprint / 2026Rocky KlopfensteinARocky KlopfensteinResearcherKeith FarkasAKeith FarkasResearcherNina NarodytskaANina NarodytskaResearcherEfficient Neural Network Analysis with Sum-of-InfeasibilitiesWEfficient Neural Networ...preprint / 2022Parallelization Techniques for Verifying Neural NetworksWParallelization Techniq...preprint / 2020An Introduction to the Discharging MethodWAn Introduction to the ...preprint / 2020Software EngineeringTSoftware Engineering3620 worksArtificial IntelligenceTArtificial Intelligence22915 worksHuman-Computer InteractionTHuman-Computer Interaction3971 worksLogic in Computer ScienceTLogic in Computer Science2208 worksOn Optimizing Back-Substitution Methods for Neural Network VerificationWOn Optimizing Back-Subs...preprint / 2022DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image ClassifiersWDeepCert: Verification ...preprint / 2021An SMT-Based Approach for Verifying Binarized Neural NetworksWAn SMT-Based Approach f...preprint / 2021Proof-Stitch: Proof Combination for Divide and Conquer SAT SolversWProof-Stitch: Proof Com...preprint / 2022
Person15 links

Haoze Wu

Researcher

PaperViverra: Text-to-Code with GuaranteesAuthorship / preprint / 2026PersonRocky KlopfensteinCo-authorship / ResearcherPersonKeith FarkasCo-authorship / ResearcherPersonNina NarodytskaCo-authorship / ResearcherPaperEfficient Neural Network Analysis with Sum-of-InfeasibilitiesAuthorship / preprint / 2022PaperParallelization Techniques for Verifying Neural NetworksAuthorship / preprint / 2020PaperAn Introduction to the Discharging MethodAuthorship / preprint / 2020TopicSoftware EngineeringWorks on / 3620 works

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)