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.

Thibault Gauthier
SearchCollections
Map detail
Thibault Gauthier6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThibault GauthierAThibault GauthierResearcherTree Neural Networks in HOL4WTree Neural Networks in...preprint / 2020Deep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicWDeep Reinforcement Lear...preprint / 2020Matching concepts across HOL librariesWMatching concepts acros...preprint / 2014Premise Selection and External Provers for HOL4WPremise Selection and E...preprint / 2015Sharing HOL4 and HOL Light proof knowledgeWSharing HOL4 and HOL Li...preprint / 2015
Person5 links

Thibault Gauthier

Researcher

PaperTree Neural Networks in HOL4Authorship / preprint / 2020PaperDeep Reinforcement Learning for Synthesizing Functions in Higher-Order LogicAuthorship / preprint / 2020PaperMatching concepts across HOL librariesAuthorship / preprint / 2014PaperPremise Selection and External Provers for HOL4Authorship / preprint / 2015PaperSharing HOL4 and HOL Light proof knowledgeAuthorship / preprint / 2015

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)