pith. sign in

Osbert Bastani

Identifiers

  • name variant Osbert Bastani 0.60 · backfill

Papers (26)

  1. Learning to target with network interference stat.ML · 2026 · author #3
  2. PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications cs.DC · 2026 · author #5
  3. Decaf: Improving Neural Decompilation with Automatic Feedback and Search cs.SE · 2026 · author #2
  4. Self-Driving Datasets: From 20 Million Papers to Nuanced Biomedical Knowledge at Scale cs.LG · 2026 · author #11
  5. Policy-Guided Stepwise Model Routing for Cost-Effective Reasoning cs.AI · 2026 · author #3
  6. SeekerGym: A Benchmark for Reliable Information Seeking cs.LG · 2026 · author #4
  7. Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation cs.PL · 2026 · author #3
  8. Purely Agent-Driven Black-Box Optimization for Biological Design cs.LG · 2026 · author #13
  9. DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset cs.RO · 2024 · author #83
  10. Eureka: Human-Level Reward Design via Coding Large Language Models cs.RO · 2023 · author #5
  11. Open X-Embodiment: Robotic Learning Datasets and RT-X Models cs.RO · 2023 · author #184
  12. VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training cs.RO · 2022 · author #4
  13. Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints cs.RO · 2019 · author #8
  14. PolyDroid: Learning-Driven Specialization of Mobile Applications cs.SE · 2019 · author #3
  15. Learning Neurosymbolic Generative Models via Program Synthesis cs.LG · 2019 · author #2
  16. Verifiable Reinforcement Learning via Policy Extraction cs.LG · 2018 · author #1
  17. Program Synthesis using Conflict-Driven Learning cs.PL · 2017 · author #3
  18. Eventually Sound Points-To Analysis with Missing Code cs.PL · 2017 · author #1
  19. Active Learning of Points-To Specifications cs.PL · 2017 · author #1
  20. Interpretability via Model Extraction cs.LG · 2017 · author #1
  21. Interpreting Blackbox Models via Model Extraction cs.LG · 2017 · author #1
  22. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability cs.CR · 2016 · author #2
  23. Synthesizing Program Input Grammars cs.PL · 2016 · author #1
  24. Measuring Neural Net Robustness with Constraints cs.LG · 2016 · author #1
  25. Zero-Shot Learning Through Cross-Modal Transfer cs.CV · 2013 · author #4
  26. Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond math.AG · 2011 · author #1

Mentions

  • 2605.27794 #3 · arxiv_oai · confidence 0.70 Osbert Bastani
  • 1301.3666 #4 · backfill · confidence 0.70 Osbert Bastani
  • 2605.18697 #5 · arxiv_oai · confidence 0.70 Osbert Bastani
  • 2605.07022 #11 · arxiv_oai · confidence 0.70 Osbert Bastani
  • 1101.2642 #1 · backfill · confidence 0.70 Osbert Bastani

Frequent Coauthors