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.

Marc Brockschmidt
SearchCollections
Map detail
Marc Brockschmidt12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarc BrockschmidtAMarc BrockschmidtResearcherGNN-FiLM: Graph Neural Networks with Feature-wise Linear ModulationWGNN-FiLM: Graph Neural ...preprint / 2020Compositional Safety Verification with Max-SMTWCompositional Safety Ve...preprint / 2015T2: Temporal Property VerificationWT2: Temporal Property V...preprint / 2016HEAT: Hyperedge Attention NetworksWHEAT: Hyperedge Attenti...preprint / 2022CTL+FO Verification as Constraint SolvingWCTL+FO Verification as ...preprint / 2014TerpreT: A Probabilistic Programming Language for Program InductionWTerpreT: A Probabilisti...preprint / 2016Summary - TerpreT: A Probabilistic Programming Language for Program InductionWSummary - TerpreT: A Pr...preprint / 2016Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)WExploring Representatio...preprint / 2022Structured Neural SummarizationWStructured Neural Summa...preprint / 2021Learning to Complete Code with SketchesWLearning to Complete Co...preprint / 2022CodeSearchNet Challenge: Evaluating the State of Semantic Code SearchWCodeSearchNet Challenge...preprint / 2020
Person11 links

Marc Brockschmidt

Researcher

PaperGNN-FiLM: Graph Neural Networks with Feature-wise Linear ModulationAuthorship / preprint / 2020PaperCompositional Safety Verification with Max-SMTAuthorship / preprint / 2015PaperT2: Temporal Property VerificationAuthorship / preprint / 2016PaperHEAT: Hyperedge Attention NetworksAuthorship / preprint / 2022PaperCTL+FO Verification as Constraint SolvingAuthorship / preprint / 2014PaperTerpreT: A Probabilistic Programming Language for Program InductionAuthorship / preprint / 2016PaperSummary - TerpreT: A Probabilistic Programming Language for Program InductionAuthorship / preprint / 2016PaperExploring Representation of Horn Clauses using GNNs (Extended Technical Report)Authorship / preprint / 2022

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)