Picture for Sanjit A. Seshia

Sanjit A. Seshia

EECS, UC Berkeley

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning

Add code
Mar 06, 2025
Viaarxiv icon

Learning Symbolic Task Decompositions for Multi-Agent Teams

Add code
Feb 19, 2025
Viaarxiv icon

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

Add code
Dec 18, 2024
Viaarxiv icon

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning

Add code
Oct 31, 2024
Viaarxiv icon

SimpleStrat: Diversifying Language Model Generation with Stratification

Add code
Oct 11, 2024
Figure 1 for SimpleStrat: Diversifying Language Model Generation with Stratification
Figure 2 for SimpleStrat: Diversifying Language Model Generation with Stratification
Figure 3 for SimpleStrat: Diversifying Language Model Generation with Stratification
Figure 4 for SimpleStrat: Diversifying Language Model Generation with Stratification
Viaarxiv icon

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

Add code
Jun 05, 2024
Viaarxiv icon

Generating Probabilistic Scenario Programs from Natural Language

Add code
May 03, 2024
Figure 1 for Generating Probabilistic Scenario Programs from Natural Language
Figure 2 for Generating Probabilistic Scenario Programs from Natural Language
Figure 3 for Generating Probabilistic Scenario Programs from Natural Language
Viaarxiv icon

Deep Policy Optimization with Temporal Logic Constraints

Add code
Apr 17, 2024
Figure 1 for Deep Policy Optimization with Temporal Logic Constraints
Figure 2 for Deep Policy Optimization with Temporal Logic Constraints
Figure 3 for Deep Policy Optimization with Temporal Logic Constraints
Figure 4 for Deep Policy Optimization with Temporal Logic Constraints
Viaarxiv icon

SMT-Based Dynamic Multi-Robot Task Allocation

Add code
Mar 18, 2024
Viaarxiv icon

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

Add code
Feb 10, 2024
Viaarxiv icon