Edward Kim

30 papers A* 2B 3Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Clinician-Directed Large Language Model Software Generation for Therapeutic Interventions in Physical Rehabilitation.
CoRR
Edward Kim, Yuri Cho, Jose Eduardo E. Lima, Julie Muccini, Jenelle A. Jindal, Alison Scheid, Erik Nelson, Seong Hyun Park, Yuchen Zeng, Alton Sturgis, Caesar Li, Jackie Dai, Sun Min Kim, Yash Prakash, Liwen Sun, Isabella Hu, Hongxuan Wu, Daniel He, Wiktor Rajca, Cathra Halabi, Maarten Lansberg, Bjoern Hartmann, Sanjit A. Seshia
2025 J jnl
Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations.
CoRR
Edward Kim, Daniel He, Jorge Chao, Wiktor Rajca, Mohammed Amin, Nishant Malpani, Ruta Desai, Antti Oulasvirta, Bjoern Hartmann, Sanjit A. Seshia
2025 — conf
Querying Labeled Time Series Data with Scenario Programs.
NFM
Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2025 J jnl
Querying Labeled Time Series Data with Scenario Programs.
CoRR
Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
2025 J jnl
Training-Free Active Learning Framework in Materials Science with Large Language Models.
CoRR
Hongchen Wang, Rafael Espinosa Castañeda, Jay Werber, Yao Fehlis, Edward Kim, Jason Hattrick-Simpers
2024 B conf
Dynamic, Multi-objective Specification and Falsification of Autonomous CPS.
RV
Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2024 J jnl
Evaluating the Performance and Robustness of LLMs in Materials Science Q&A and Property Predictions.
CoRR
Hongchen Wang, Kangming Li, Scott Ramsay, Yao Fehlis, Edward Kim, Jason Hattrick-Simpers
2023 — conf
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.
CAV (1)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023 J jnl
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.
CoRR
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023 J jnl
Scenic: a language for scenario specification and data generation.
Mach. Learn.
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023 — —
Simulation-Based Testing, Validation, and Training with Probabilistic Programming
Edward Kim
2022 — conf
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
ICCPS
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022 A* conf
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning.
AAAI
Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022 — conf
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
ICCPS
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021 J jnl
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation.
CoRR
Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia
2021 — conf
Addressing the IEEE AV Test Challenge with Scenic and VerifAI.
AITest
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
2021 J jnl
Addressing the IEEE AV Test Challenge with Scenic and VerifAI.
CoRR
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
2021 J jnl
Parallel and Multi-Objective Falsification with Scenic and VerifAI.
CoRR
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
2021 B conf
Parallel and Multi-objective Falsification with Scenic and VerifAI.
RV
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
2021 J jnl
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
CoRR
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021 J jnl
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments.
CoRR
Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Sanjit A. Seshia
2020 J jnl
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving.
CoRR
Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2020 A* conf
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.
CVPR
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
2020 — conf
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.
ITSC
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
2020 J jnl
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.
CoRR
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
2020 J jnl
Scenic: A Language for Scenario Specification and Data Generation.
CoRR
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2019 J jnl
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors.
CoRR
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
2019 J jnl
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.
CoRR
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2019 — conf
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.
CAV (1)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2018 B conf
Formal Specification for Deep Neural Networks.
ATVA
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue