Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning

Authors: Yalcinkaya, Beyazit, Lauffer, Niklas, Vazquez-Chanlatte, Marcell, Seshia, Sanjit A.

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2503.05042

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification

Authors: Chen, Pei-Wei, Lin, Shaokai, Godbole, Adwait, Singh, Ramneet, Polgreen, Elizabeth, Lee, Edward A., Seshia, Sanjit A.

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2503.03207

Learning Symbolic Task Decompositions for Multi-Agent Teams

Authors: Shah, Ameesh, Lauffer, Niklas, Chen, Thomas, Pitta, Nikhil, Seshia, Sanjit A.

Subject Terms: Computer Science - Multiagent Systems, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, F.2.2

Access URL: http://arxiv.org/abs/2502.13376

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Authors: Shetty, Manish, Jain, Naman, Godbole, Adwait, Seshia, Sanjit A., Sen, Koushik

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Programming Languages, I.2, D.2, D.3

Access URL: http://arxiv.org/abs/2412.14234

Privacy Preserving Mechanisms for Coordinating Airspace Usage in Advanced Air Mobility

Authors: Maheshwari, Chinmay, Mendoza, Maria G., Tuck, Victoria Marie, Su, Pan-Yang, Qin, Victor L., Seshia, Sanjit A., Balakrishnan, Hamsa, Sastry, Shankar

Subject Terms: Electrical Engineering and Systems Science - Systems and Control, 91B03, 91A68, 90B06, 90C27

Access URL: http://arxiv.org/abs/2411.03582

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning

Authors: Yalcinkaya, Beyazit, Lauffer, Niklas, Vazquez-Chanlatte, Marcell, Seshia, Sanjit A.

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2411.00205

SimpleStrat: Diversifying Language Model Generation with Stratification

Authors: Wong, Justin, Orlovskiy, Yury, Luo, Michael, Seshia, Sanjit A., Gonzalez, Joseph E.

Subject Terms: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2410.09038

Modelling and Verification of Security-Oriented Resource Partitioning Schemes

Authors: Godbole, Adwait, Ye, Leiqi, Manerkar, Yatin A., Seshia, Sanjit A.

Source: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :268-273 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency

Authors: Lin, Shaokai, Jellum, Erling, Theile, Mirco, Tanneberger, Tassilo, Sun, Binqi, Jerad, Chadlia, Xu, Ruomu, Feng, Guangyu, Menard, Christian, Lohstroh, Marten, Castrillon, Jeronimo, Seshia, Sanjit, Lee, Edward

Subject Terms: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2406.06253

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns

Authors: Godbole, Adwait, Manerkar, Yatin A., Seshia, Sanjit A.

Subject Terms: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

Access URL: http://arxiv.org/abs/2406.05403

Verified Code Transpilation with LLMs

Authors: Bhatia, Sahil, Qiu, Jie, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2406.03003

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages

Authors: Mora, Federico, Wong, Justin, Lepe, Haley, Bhatia, Sahil, Elmaaroufi, Karim, Varghese, George, Gonzalez, Joseph E., Polgreen, Elizabeth, Seshia, Sanjit A.

Subject Terms: Computer Science - Programming Languages, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2406.03636

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Authors: Dalrymple, David "davidad", Skalse, Joar, Bengio, Yoshua, Russell, Stuart, Tegmark, Max, Seshia, Sanjit, Omohundro, Steve, Szegedy, Christian, Goldhaber, Ben, Ammann, Nora, Abate, Alessandro, Halpern, Joe, Barrett, Clark, Zhao, Ding, Zhi-Xuan, Tan, Wing, Jeannette, Tenenbaum, Joshua

Subject Terms: Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2405.06624

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language

Authors: Elmaaroufi, Karim, Shanker, Devan, Cismaru, Ana, Vazquez-Chanlatte, Marcell, Sangiovanni-Vincentelli, Alberto, Zaharia, Matei, Seshia, Sanjit A.

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2405.03709

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)

Authors: Qiu, Jie, Cai, Colin, Bhatia, Sahil, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin

Subject Terms: Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2404.18249

LTL-Constrained Policy Optimization with Cycle Experience Replay

Authors: Shah, Ameesh, Voloshin, Cameron, Yang, Chenxi, Verma, Abhinav, Chaudhuri, Swarat, Seshia, Sanjit A.

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2404.11578

SMT-Based Dynamic Multi-Robot Task Allocation

Authors: Tuck, Victoria Marie, Chen, Pei-Wei, Fainekos, Georgios, Hoxha, Bardh, Okamoto, Hideki, Sastry, S. Shankar, Seshia, Sanjit A.

Subject Terms: Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2403.11737

$L^*LM$: Learning Automata from Examples using Natural Language Oracles

Authors: Vazquez-Chanlatte, Marcell, Elmaaroufi, Karim, Witwicki, Stefan J., Seshia, Sanjit A.

Subject Terms: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Formal Languages and Automata Theory

Access URL: http://arxiv.org/abs/2402.07051

Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations

Authors: Lauffer, Niklas, Yalcinkaya, Beyazit, Vazquez-Chanlatte, Marcell, Shah, Ameesh, Seshia, Sanjit A.

Source: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :1-6 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

Automated Conversion of Axiomatic to Operational Models: Theory and Practice

Authors: Godbole, Adwait, Manerkar, Yatin A., Seshia, Sanjit A.

Source: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :331-342 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)