Jeevana Priya Inala

According to our database, Jeevana Priya Inala authored at least 27 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Rethinking Interpretability in the Era of Large Language Models.

Chandan Singh, Jeevana Priya Inala, Michel Galley, Rich Caruana, Jianfeng Gao

CoRR, 2024

DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing.

Priyan Vaithilingam, Elena L. Glassman, Jeevana Priya Inala, Chenglong Wang

CoRR, 2024

2023

Demystifying GPT Self-Repair for Code Generation.

Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama

CoRR, 2023

CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models.

Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions.

Ansong Ni, Jeevana Priya Inala, Chenglong Wang, Alex Polozov, Christopher Meek, Dragomir Radev, Jianfeng Gao

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Neurosymbolic Learning for Robust and Reliable Intelligent Systems.

Jeevana Priya Inala

PhD thesis, 2022

Execution-based Evaluation for Data Science Code Generation Models.

Junjie Huang, Chenglong Wang, Jipeng Zhang, Cong Yan, Haotian Cui, Jeevana Priya Inala, Colin B. Clement, Nan Duan, Jianfeng Gao

CoRR, 2022

Interactive Code Generation via Test-Driven User-Intent Formalization.

Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao

CoRR, 2022

Learning from Self-Sampled Correct and Partially-Correct Programs.

Ansong Ni, Jeevana Priya Inala, Chenglong Wang, Oleksandr Polozov, Christopher Meek, Dragomir R. Radev, Jianfeng Gao

CoRR, 2022

Fault-Aware Neural Code Rankers.

Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

CodeExp: Explanatory Code Document Generation.

Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

2021

Safe Human-Interactive Control via Shielding.

Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2021

Program Synthesis Guided Reinforcement Learning.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

CoRR, 2021

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Likelihood-Based Diverse Sampling for Trajectory Forecasting.

Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

2020

Diverse Sampling for Normalizing Flow Based Trajectory Forecasting.

Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani

CoRR, 2020

Neurosymbolic Transformers for Multi-Agent Communication.

Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.

Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama

Proceedings of the xxAI - Beyond Explainable AI, 2020

Synthesizing Programmatic Policies that Inductively Generalize.

Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Task-Based Design of Ad-hoc Modular Manipulators.

Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit

Proceedings of the International Conference on Robotics and Automation, 2019

2018

InverseCSG: automatic conversion of 3D models to CSG trees.

Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik

ACM Trans. Graph., 2018

WebRelate: integrating web data with spreadsheets using examples.

Jeevana Priya Inala, Rishabh Singh

Proc. ACM Program. Lang., 2018

REAS: Combining Numerical Optimization with SAT Solving.

Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama

CoRR, 2018

2017

Synthesis of Recursive ADT Transformations from Reusable Templates.

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.

Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Type-aware transactions for faster concurrent code.

Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, Liuba Shrira

Proceedings of the Eleventh European Conference on Computer Systems, 2016

2015

Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.

Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

CoRR, 2015