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.

Henryk Michalewski
SearchCollections
Map detail
Henryk Michalewski13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHenryk MichalewskiAHenryk MichalewskiResearcherOn the Problem of Computing the Probability of Regular Sets of TreesWOn the Problem of Compu...preprint / 2015Unambiguous Buchi is weakWUnambiguous Buchi is weakpreprint / 2016On the Regular Emptiness Problem of Subzero AutomataWOn the Regular Emptines...preprint / 2016Measuring CLEVRness: Blackbox testing of Visual Reasoning ModelsWMeasuring CLEVRness: Bl...preprint / 2022Small Valdivia compact spacesWSmall Valdivia compact ...preprint / 2005Deciding the Borel complexity of regular tree languagesWDeciding the Borel comp...preprint / 2014How unprovable is Rabin's decidability theorem?WHow unprovable is Rabin...preprint / 2015Learning from the memory of Atari 2600WLearning from the memor...preprint / 2016Q-Value Weighted Regression: Reinforcement Learning with Limited DataWQ-Value Weighted Regres...preprint / 2021Neural heuristics for SAT solvingWNeural heuristics for S...preprint / 2020Show Your Work: Scratchpads for Intermediate Computation with Language ModelsWShow Your Work: Scratch...preprint / 2021Solving Quantitative Reasoning Problems with Language ModelsWSolving Quantitative Re...preprint / 2022
Person12 links

Henryk Michalewski

Researcher

PaperOn the Problem of Computing the Probability of Regular Sets of TreesAuthorship / preprint / 2015PaperUnambiguous Buchi is weakAuthorship / preprint / 2016PaperOn the Regular Emptiness Problem of Subzero AutomataAuthorship / preprint / 2016PaperMeasuring CLEVRness: Blackbox testing of Visual Reasoning ModelsAuthorship / preprint / 2022PaperSmall Valdivia compact spacesAuthorship / preprint / 2005PaperDeciding the Borel complexity of regular tree languagesAuthorship / preprint / 2014PaperHow unprovable is Rabin's decidability theorem?Authorship / preprint / 2015PaperLearning from the memory of Atari 2600Authorship / preprint / 2016

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)