Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Osbert Bastani
Map detail
Osbert Bastani31 visible / 31 total nodes / 80 links

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

Related contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onRelated contextRelated contextAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onOsbert BastaniAOsbert BastaniResearcherDecaf: Improving Neural Decompilation with Automatic Feedback and SearchWDecaf: Improving Neural...preprint / 2026Policy-Guided Stepwise Model Routing for Cost-Effective ReasoningWPolicy-Guided Stepwise ...preprint / 2026PopPy: Opportunistically Exploiting Parallelism in Python Compound AI ApplicationsWPopPy: Opportunisticall...preprint / 2026Self-Driving Datasets: From 20 Million Papers to Nuanced Biomedical Knowledge at ScaleWSelf-Driving Datasets: ...preprint / 2026Stephen MellAStephen MellResearcherDavid MellADavid MellResearcherKonstantinos KallasAKonstantinos KallasResearcherSteve ZdancewicASteve ZdancewicResearcherAlexander ShypulaAAlexander ShypulaResearcherEdward SchwartzAEdward SchwartzResearcherHaydn JonesAHaydn JonesResearcherYimeng ZengAYimeng ZengResearcherAlden RoseAAlden RoseResearcherLi S. YifeiALi S. YifeiResearcherYining HuangAYining HuangResearcherKaiwen WuAKaiwen WuResearcherArtificial IntelligenceTArtificial Intelligence22915 worksPractical Adversarial Multivalid Conformal PredictionWPractical Adversarial M...preprint / 2022Probabilistic Verification of Fairness Properties via ConcentrationWProbabilistic Verificat...preprint / 2019Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and BeyondWRandomization, Sums of ...preprint / 2011Distributed, Parallel, and Cluster ComputingTDistributed, Parallel, ...4102 worksProgramming LanguagesTProgramming Languages1239 worksSoftware EngineeringTSoftware Engineering3620 worksCryptography and SecurityTCryptography and Security7258 worksMachine LearningTMachine Learning49008 worksAbstract Value Iteration for Hierarchical Reinforcement LearningWAbstract Value Iteratio...preprint / 2021Calibrated Prediction with Covariate Shift via Unsupervised Domain AdaptationWCalibrated Prediction w...preprint / 2020PAC Confidence Sets for Deep Neural Networks via Calibrated PredictionWPAC Confidence Sets for...preprint / 2020Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic DynamicsWRobust Model Predictive...preprint / 2020MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive ShieldingWMAMPS: Safe Multi-Agent...preprint / 2019
Person21 links

Osbert Bastani

Researcher