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.

Kshitij Bansal
SearchCollections
Map detail
Kshitij Bansal6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipKshitij BansalAKshitij BansalResearcherLearning to Reason in Large Theories without ImitationWLearning to Reason in L...preprint / 2020A Note on the Complexity of Model-Checking Bounded Multi-Pushdown SystemsWA Note on the Complexit...preprint / 2012On Deciding Local Theory Extensions via E-matchingWOn Deciding Local Theor...preprint / 2015Reducing Commutativity Verification to Reachability with Differencing AbstractionsWReducing Commutativity ...preprint / 2020Mathematical Reasoning via Self-supervised Skip-tree TrainingWMathematical Reasoning ...preprint / 2020
Person5 links

Kshitij Bansal

Researcher

PaperLearning to Reason in Large Theories without ImitationAuthorship / preprint / 2020PaperA Note on the Complexity of Model-Checking Bounded Multi-Pushdown SystemsAuthorship / preprint / 2012PaperOn Deciding Local Theory Extensions via E-matchingAuthorship / preprint / 2015PaperReducing Commutativity Verification to Reachability with Differencing AbstractionsAuthorship / preprint / 2020PaperMathematical Reasoning via Self-supervised Skip-tree TrainingAuthorship / preprint / 2020

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)