default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJeevana Priya Inala
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c16]Priyan Vaithilingam
, Elena L. Glassman, Jeevana Priya Inala, Chenglong Wang:
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing. CHI 2024: 985:1-985:17- [c15]Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama:
Is Self-Repair a Silver Bullet for Code Generation? ICLR 2024 - [c14]Junjie Huang, Daya Guo, Chenglong Wang, Jiazhen Gu, Shuai Lu, Jeevana Priya Inala, Cong Yan, Jianfeng Gao, Nan Duan, Michael R. Lyu:
Contextualized Data-Wrangling Code Generation in Computational Notebooks. ASE 2024: 1282-1294 - [i17]Priyan Vaithilingam, Elena L. Glassman, Jeevana Priya Inala, Chenglong Wang:
DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing. CoRR abs/2401.10880 (2024) - [i16]Chandan Singh, Jeevana Priya Inala, Michel Galley, Rich Caruana, Jianfeng Gao:
Rethinking Interpretability in the Era of Large Language Models. CoRR abs/2402.01761 (2024) - [i15]Junjie Huang, Daya Guo, Chenglong Wang, Jiazhen Gu, Shuai Lu, Jeevana Priya Inala, Cong Yan, Jianfeng Gao, Nan Duan, Michael R. Lyu:
Contextualized Data-Wrangling Code Generation in Computational Notebooks. CoRR abs/2409.13551 (2024) - [i14]Jeevana Priya Inala, Chenglong Wang, Steven Mark Drucker, Gonzalo Ramos, Victor Dibia, Nathalie Riche, Dave Brown, Dan Marshall, Jianfeng Gao:
Data Analysis in the Era of Generative AI. CoRR abs/2409.18475 (2024) - 2023
- [c13]Ansong Ni, Jeevana Priya Inala, Chenglong Wang, Alex Polozov, Christopher Meek, Dragomir Radev, Jianfeng Gao:
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions. ICLR 2023 - [c12]Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen:
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. ICSE 2023: 919-931 - [i13]Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama:
Demystifying GPT Self-Repair for Code Generation. CoRR abs/2306.09896 (2023) - 2022
- [b1]Jeevana Priya Inala:
Neurosymbolic Learning for Robust and Reliable Intelligent Systems. Massachusetts Institute of Technology, USA, 2022 - [c11]Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan:
CodeExp: Explanatory Code Document Generation. EMNLP (Findings) 2022: 2342-2354 - [c10]Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao:
Fault-Aware Neural Code Rankers. NeurIPS 2022 - [i12]Ansong Ni, Jeevana Priya Inala, Chenglong Wang, Oleksandr Polozov, Christopher Meek, Dragomir R. Radev, Jianfeng Gao:
Learning from Self-Sampled Correct and Partially-Correct Programs. CoRR abs/2205.14318 (2022) - [i11]Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao:
Fault-Aware Neural Code Rankers. CoRR abs/2206.03865 (2022) - [i10]Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao:
Interactive Code Generation via Test-Driven User-Intent Formalization. CoRR abs/2208.05950 (2022) - [i9]Junjie Huang, Chenglong Wang, Jipeng Zhang, Cong Yan, Haotian Cui, Jeevana Priya Inala, Colin B. Clement, Nan Duan, Jianfeng Gao:
Execution-based Evaluation for Data Science Code Generation Models. CoRR abs/2211.09374 (2022) - [i8]Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan:
CodeExp: Explanatory Code Document Generation. CoRR abs/2211.15395 (2022) - 2021
- [c9]Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani:
Likelihood-Based Diverse Sampling for Trajectory Forecasting. ICCV 2021: 13259-13268 - [c8]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS 2021: 29669-29683 - [i7]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. CoRR abs/2101.03238 (2021) - [i6]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning. CoRR abs/2102.11137 (2021) - [i5]Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Safe Human-Interactive Control via Shielding. CoRR abs/2110.05440 (2021) - 2020
- [c7]Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama:
Synthesizing Programmatic Policies that Inductively Generalize. ICLR 2020 - [c6]Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama:
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML 2020: 207-228 - [c5]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS 2020 - [i4]Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani:
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting. CoRR abs/2011.15084 (2020)
2010 – 2019
- 2019
- [c4]Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit:
Task-Based Design of Ad-hoc Modular Manipulators. ICRA 2019: 6058-6064 - 2018
- [j2]Jeevana Priya Inala, Rishabh Singh:
WebRelate: integrating web data with spreadsheets using examples. Proc. ACM Program. Lang. 2(POPL): 2:1-2:28 (2018) - [j1]Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik:
InverseCSG: automatic conversion of 3D models to CSG trees. ACM Trans. Graph. 37(6): 213 (2018) - [i3]Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama:
REAS: Combining Numerical Optimization with SAT Solving. CoRR abs/1802.04408 (2018) - 2017
- [c3]Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama:
Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) 2017: 247-263 - [i2]Jeevana Priya Inala, Rishabh Singh:
WebRelate: Integrating Web Data with Spreadsheets using Examples. CoRR abs/1711.05787 (2017) - 2016
- [c2]Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian L. Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira:
Type-aware transactions for faster concurrent code. EuroSys 2016: 31:1-31:16 - [c1]Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama:
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. SAT 2016: 302-320 - 2015
- [i1]Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama:
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. CoRR abs/1507.05527 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-30 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
