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.

Julian Parsert
SearchCollections
Map detail
Julian Parsert4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipJulian ParsertAJulian ParsertResearcherReinforcement Learning and Data-Generation for Syntax-Guided SynthesisWReinforcement Learning ...preprint / 2024A Study of Continuous Vector Representationsfor Theorem ProvingWA Study of Continuous V...preprint / 2021Neural Termination AnalysisWNeural Termination Anal...preprint / 2022
Person3 links

Julian Parsert

Researcher

PaperReinforcement Learning and Data-Generation for Syntax-Guided SynthesisAuthorship / preprint / 2024PaperA Study of Continuous Vector Representationsfor Theorem ProvingAuthorship / preprint / 2021PaperNeural Termination AnalysisAuthorship / 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)