| 2026 | AAAI | NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning. | Sahil Shah, S. P. Sharan, Harsh Goel, Minkyu Choi, Mustafa Munir, Manvik Pasula, Radu Marculescu, Sandeep Chinchali |
| 2026 | DATE | Braid-ZNS: Leveraging Zone Random Write Area for Efficient In-Storage Compression on ZNS SSDs. | Minkyu Choi, Joonseong Hwang, Minjin Park, Seokin Hong |
| 2025 | CVPR | Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification. | S. P. Sharan, Minkyu Choi, Sahil Shah, Harsh Goel, Mohammad Omama, Sandeep Chinchali |
| 2025 | ICCD | Minimizing Read Disturb via Localized Page Allocation for Modern NAND Flash-Based SSDs. | Joonseong Hwang, Minkyu Choi, Minjin Park, Jihun Yoon, Yoonho Jang, Seokin Hong |
| 2024 | ECCV | Towards Neuro-Symbolic Video Understanding. | Minkyu Choi, Harsh Goel, Mohammad Omama, Yunhao Yang, Sahil Shah, Sandeep Chinchali |
| 2024 | IROS | PEERNet: An End-to-End Profiling Tool for Real-Time Networked Robotic Systems. | Aditya Narayanan, Pranav Kasibhatla, Minkyu Choi, Po-han Li, Ruihan Zhao, Sandeep Chinchali |
| 2023 | CoDIT | Multi-Agent Reinforcement Learning with Epistemic Priors. | Thayne T. Walker, Jaime S. Ide, Minkyu Choi, Michael J. Guarino, Kevin Alcedo |
| 2017 | IJCNN | Predictive coding for dynamic vision: Development of functional hierarchy in a multiple spatio-temporal scales RNN model. | Minkyu Choi, Jun Tani |
| 2013 | SIGGRAPH | Garden agua: three-dimensional tangible display enabled by arranged water jet. | Wenjun Guo, Sang-Ung Yi, Minkyu Choi, Seungha Yoo, Kyungwon Lee |