Ashish Tiwari
- Overwatch: Learning Patterns in Code Edit Sequences
2022/07/25 by Yuhao Zhang, Yasharth Bajpai, Zhang, Yuhao +19 · 1 voice · 4 citations
Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Software Testing and Debugging Techniques
- SOTER: A Runtime Assurance Framework for Programming Safe Robotics\n Systems
2018/08/23 by Desai Ankush, Ankush Desai, Shromona Ghosh +9 · 1 voice · 7 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Programming Languages (cs.PL) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #cs.AI #cs.PL #cs.RO #cs.SE #eess.SY #electronic engineering #information engineering
- Synchromesh: Reliable code generation from pre-trained language models
2022/01/26 by Gabriel Poesia, Poesia, Gabriel, Oleksandr Polozov +11 · 16 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling
- Output Range Analysis for Deep Neural Networks
2017/09/26 by Souradeep Dutta, Susmit Jha, Dutta, Souradeep +5 · 9 citations
Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Machine Learning and Algorithms
- TableTalk: Scaffolding Spreadsheet Development with a Language Agent
2025/02/13 by Jenny T. Liang, Aayush Kumar, Liang, Jenny T. +17 · 1 voice · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Software Engineering (cs.SE) #Spreadsheets and End-User Computing #cs.AI #cs.HC #cs.SE
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
2016/12/21 by Anna Lukina, Lukas Esterle, Lukina, Anna +13 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- SS-SfP:Neural Inverse Rendering for Self Supervised Shape from (Mixed) Polarization
2024/07/12 by Ashish Tiwari, Tiwari, Ashish, Shanmuganathan Raman +1 · 2 citations
Computer Science · Earth and Planetary Sciences · Engineering · #Optical measurement and interference techniques #Remote Sensing and Land Use #Optical Polarization and Ellipsometry
- From Words to Code: Harnessing Data for Program Synthesis from Natural Language
2023/05/02 by Anirudh Khatry, Joyce Cahoon, Khatry, Anirudh +21 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Shadow Art Revisited: A Differentiable Rendering Based Approach
2021/07/30 by Kaustubh Sadekar, Sadekar, Kaustubh, Ashish Tiwari +3 · 1 citation
Engineering · Computer Science · #3D Shape Modeling and Analysis #Computer Graphics and Visualization Techniques #Advanced Vision and Imaging
- Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models\n and Component-based Synthesis
2021/09/03 by Kia Rahmani, Rahmani, Kia, Mohammad Raza +13 · 1 citation
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software Engineering Techniques and Practices
- LLM-Guided Compositional Program Synthesis
2025/03/12 by Khan, Ruhma, Sumit Gulwani, Gulwani, Sumit +8 · 3 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Programming Languages (cs.PL) #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)
- Learning Task Specifications from Demonstrations
2017/10/11 by Marcell Vazquez-Chanlatte, Susmit Jha, Vazquez-Chanlatte, Marcell +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms
- Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities
2023/10/24 by Bhavya Chopra, Chopra, Bhavya, Ananya Singha +11 · 1 citation
Computer Science · Medicine · Social Sciences · #AI in Service Interactions #Artificial Intelligence in Healthcare and Education #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems
2020/03/03 by Anna Fariha, Ashish Tiwari, Fariha, Anna +7 · 1 citation
Computer Science · #Data Stream Mining Techniques #Time Series Analysis and Forecasting #Anomaly Detection Techniques and Applications