Sanjit A. Seshia
~Sanjit_A._Seshia1
7
论文总数
3.5
年均投稿
平均评分
接收情况6/7
会议分布
NeurIPS
5
ICLR
1
COLM
1
发表论文 (7 篇)
20253 篇
20244 篇
4
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
NeurIPS 2024Poster
4
Verified Code Transpilation with LLMs
NeurIPS 2024Poster
3
ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
COLM 2024Poster
4
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
NeurIPS 2024Poster