SISL

@SISLaboratory

Stanford Intelligent Systems Laboratory, Aeronautics & Astronautics Department. Advancing Research on Autonomous Systems and Decision Making Under Uncertainty.

120 Following1.2K Followers500 Posts
  1. SISL@SISLaboratory
    Now online! Recording of Marc Schlichting’s PhD defense (Nov 15, 2025) on generative models for safety in autonomous systems, from failure discovery in a 1200-dim F-16 system to an LLM decision-support tool for aviation emergencies tested in real flights.
    Download
    1342.4K
  2. SISL@SISLaboratory
    New work by SISL'er @houjun_liu. Check it out!
    Houjun Liu @houjun_liu
    🚨new method day! 🚨 Trust[ing results] in ML conferences is utterly broken. Let's fix it with an algorithm! We are excited to introduce 𝗧𝗿𝗮𝗶𝗻𝗶𝗻𝗴 𝗪𝗶𝘁𝗻𝗲𝘀𝘀𝗲𝘀, a system for “honesty” certificates of data and evaluations which a verifier can cheaply check and trust.
    016464
  3. Houjun Liu@houjun_liu
    🚨new method day! 🚨 Trust[ing results] in ML conferences is utterly broken. Let's fix it with an algorithm! We are excited to introduce 𝗧𝗿𝗮𝗶𝗻𝗶𝗻𝗴 𝗪𝗶𝘁𝗻𝗲𝘀𝘀𝗲𝘀, a system for “honesty” certificates of data and evaluations which a verifier can cheaply check and trust.
    Download
    62611428.3K
  4. SISL@SISLaboratory
    New 🔥 SISL open source project: Check out @houjun_liu's neural network architecture research infrastructure!
    Houjun Liu @houjun_liu
    🚨 new package day!! 🚨 hi friends, I'm open-sourcing the system I use to do architectures research:
    033512
  5. Houjun Liu@houjun_liu
    🚨 new package day!! 🚨 hi friends, I'm open-sourcing the system I use to do architectures research:
    Download
    29465.1K
  6. SISL@SISLaboratory
    SISL
    RT @AnkaReuel: Now’s prob a good time to mention that I’ll start as an Assistant Professor with appointments at @Kennedy_School and @HarvardEngineer in 2027, working on… AI evals! My lab will also work on monitorability, incident analysis, and verification to advance technical AI governance 1/
    05108
  7. SISL@SISLaboratory
    New SISL paper in TMLR: How do you plan under uncertainty when you cannot write down an observation likelihood model? Paper
    Download
    19235K
  8. SISL@SISLaboratory
    Posts @SISLaboratory
    We evaluate on a masked-pixel benchmark and on a real-world intrusion discovery task using indirect muon tomography, with improved estimation accuracy and planning efficiency over conventional methods.
    Download
    10267
  9. SISL@SISLaboratory
    New SISL work: Semi-Decentralized Multi-Spacecraft Collision Avoidance under Communication Constraints
    Download
    112197
  10. SISL@SISLaboratory
    Posts @SISLaboratory
    We model this as a semi-decentralized POMDP where predicted ground contacts determine when coordination is possible. Communication-aware planning reaches near-centralized maneuver quality with 28.5% fewer information-sharing events.
    Download
    10056
  11. SISL@SISLaboratory
    Posts @SISLaboratory
    Paper: Talk: Work by Grace Kim, Mahdi Al-Husseini, Duncan Eddy, and @aiprof_mykel.
    Download
    00043
  12. SISL@SISLaboratory
    The "Algorithms for Validation" book is now available for preorder, covering methods for validating safety-critical systems, from falsification and failure probability estimation to reachability analysis, explainability, and runtime monitoring.
    Download
    13102.8K
  13. SISL@SISLaboratory
    The Stanford Intelligent Systems Laboratory went to @icmlconf 2026 in Seoul, Korea (and had an amazing time)! Check out all the SISL papers and workshops:
    Download
    136333
  14. SISL@SISLaboratory
    Posts @SISLaboratory
    Reasoning or Recall? Blind Evaluation of LLMs on Numerical Function Tasks Ahmad Rushdi, Kiana Jafari, @aiprof_mykel SISL members also organized the the Second Workshop on Technical AI Governance Research!
    013104
  15. Show more posts