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.

Swarat Chaudhuri
SearchCollections
Map detail
Swarat Chaudhuri10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSwarat ChaudhuriASwarat ChaudhuriResearcherSafe Neurosymbolic Learning with Differentiable Symbolic ExecutionWSafe Neurosymbolic Lear...preprint / 2022Searching a Database of Source Codes Using Contextualized Code SearchWSearching a Database of...preprint / 2020A Semantics for Approximate Program TransformationsWA Semantics for Approxi...preprint / 2013Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)WAbstract Interpretation...preprint / 2015Meta-Meta Classification for One-Shot LearningWMeta-Meta Classificatio...preprint / 2020Imitation-Projected Programmatic Reinforcement LearningWImitation-Projected Pro...preprint / 2021Canopy: Property-Driven Learning for Congestion ControlWCanopy: Property-Driven...preprint / 2026Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based AlgorithmWController Synthesis wi...preprint / 2015Component-based Synthesis of Table Consolidation and Transformation Tasks from ExamplesWComponent-based Synthes...preprint / 2016
Person9 links

Swarat Chaudhuri

Researcher

PaperSafe Neurosymbolic Learning with Differentiable Symbolic ExecutionAuthorship / preprint / 2022PaperSearching a Database of Source Codes Using Contextualized Code SearchAuthorship / preprint / 2020PaperA Semantics for Approximate Program TransformationsAuthorship / preprint / 2013PaperAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)Authorship / preprint / 2015PaperMeta-Meta Classification for One-Shot LearningAuthorship / preprint / 2020PaperImitation-Projected Programmatic Reinforcement LearningAuthorship / preprint / 2021PaperCanopy: Property-Driven Learning for Congestion ControlAuthorship / preprint / 2026PaperController Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based AlgorithmAuthorship / 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)