vix.ing · top · new · best · stats · spec

Sanjit A. Seshia

  1. On the Utility of Learning about Humans for Human-AI Coordination
    2019/10/13 by Micah Carroll, Carroll, Micah, Rohin Shah +11 · 73 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Multi-Agent Systems and Negotiation #Reinforcement Learning in Robotics
  2. SOTER: A Runtime Assurance Framework for Programming Safe Robotics\n Systems
    2018/08/23 by Ankush Desai, Desai Ankush, Shromona Ghosh +9 · 1 voice · 7 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Programming Languages (cs.PL) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #cs.AI #cs.PL #cs.RO #cs.SE #eess.SY #electronic engineering #information engineering
  3. Verified Code Transpilation with LLMs
    2024/06/05 by Sahil Bhatia, Bhatia, Sahil, Jie Qiu +7 · 1 voice · 5 citations
    Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Digital Rights Management and Security
  4. Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
    2024/05/10 by David "davidad" Dalrymple, David Dalrymple, Joar Skalse +36 · 3 voices · 19 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Smart Grid Security and Resilience #cs.AI
  5. Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
    2024/12/18 by Manish Shetty, Shetty, Manish, Naman Jain +7 · 1 voice · 10 citations
    #cs.SE #cs.AI #cs.LG #cs.PL
  6. Scenic: A Language for Scenario Specification and Data Generation
    2020/10/13 by Daniel J. Fremont, Fremont, Daniel J., Edward Kim +11 · 11 citations
    Engineering · Computer Science · #Autonomous Vehicle Technology and Safety #Software Testing and Debugging Techniques #Machine Learning and Data Classification
  7. A Review of Single-Source Deep Unsupervised Visual Domain Adaptation
    2020/09/01 by Sicheng Zhao, Xiangyu Yue, Zhao, Sicheng +19 · 8 citations
    Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Video Surveillance and Tracking Methods #electronic engineering #information engineering
  8. Towards Verified Artificial Intelligence
    2016/06/27 by Sanjit A. Seshia, Dorsa Sadigh, Seshia, Sanjit A. +3 · 1 voice · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Software Testing and Debugging Techniques #cs.AI
  9. Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to\n the Real World
    2020/03/17 by Daniel J. Fremont, Fremont, Daniel J., Edward Kim +17 · 4 citations
    Computer Science · #D.2.4 #D.2.5 #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #I.2.9 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
  10. A Theory of Formal Synthesis via Inductive Learning
    2015/05/15 by Susmit Jha, Jha, Susmit, Sanjit A. Seshia +1 · 3 citations
    Computer Science · #Machine Learning and Algorithms #Software Engineering Research #Software Testing and Debugging Techniques
  11. LTL-Constrained Policy Optimization with Cycle Experience Replay
    2024/04/17 by Ameesh Shah, Cameron Voloshin, Shah, Ameesh +9 · 7 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #Error Correcting Code Techniques #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.4 #I.2.6 #Machine Learning (cs.LG)
  12. Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing\n System with VerifAI
    2020/05/14 by Daniel J. Fremont, Fremont, Daniel J., Johnathan Chiu +7 · 3 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Systems and Control (eess.SY) #electronic engineering #information engineering
  13. 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
    2023/07/06 by Eric Vin, Vin, Eric, Shun Kashiwa +17 · 4 citations
    Computer Science · Decision Sciences · Engineering · #3D Modeling in Geospatial Applications #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Simulation Techniques and Applications
  14. Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
    2024/10/31 by Beyazit Yalcinkaya, Niklas Lauffer, Yalcinkaya, Beyazit +5 · 7 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Modular Robots and Swarm Intelligence #Optimization and Search Problems #Reinforcement Learning in Robotics
  15. Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
    2024/06/05 by Federico Mora, Justin Wong, Mora, Federico +15 · 3 citations
    Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
  16. A Model Counter's Guide to Probabilistic Systems
    2019/03/22 by Marcell Vazquez-Chanlatte, Vazquez-Chanlatte, Marcell, Markus N. Rabe +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
  17. optimizeanything: Unified Text Optimization can Outperform Specialized Systems
    2026/05/19 by Lakshya A Agrawal, Donghyun Lee, Shangyin Tan +11 · 1 voice
    Computer Science · #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG #cs.NE #cs.SE
  18. Learning Symbolic Task Decompositions for Multi-Agent Teams
    2025/02/19 by Ameesh Shah, Shah, Ameesh, Niklas Lauffer +7 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #F.2.2 #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA)
  19. Verifying RISC-V Physical Memory Protection
    2022/11/03 by Kevin Cheang, Cheang, Kevin, Cameron Rasmussen +9 · 1 citation
    Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Radiation Effects in Electronics #Security and Verification in Computing
  20. Learning Task Specifications from Demonstrations
    2017/10/11 by Marcell Vazquez-Chanlatte, Vazquez-Chanlatte, Marcell, Susmit Jha +7 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms
  21. Systematic Testing of Convolutional Neural Networks for Autonomous\n Driving
    2017/08/10 by Tommaso Dreossi, Shromona Ghosh, Dreossi, Tommaso +5 · 1 citation
    Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences