Minkyu Choi

According to our database, Minkyu Choi authored at least 11 papers between 2023 and 2026.

Collaborative distances:

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

2026

SSR: A Generic Framework for Text-Aided Map Compression for Localization.

Mohammad Omama, Po-han Li, Harsh Goel, Minkyu Choi, Behdad Chalaki, Vaishnav Tadiparthi, Hossein Nourkhiz Mahjoub, Ehsan Moradi-Pari, Sandeep P. Chinchali

CoRR, March, 2026

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

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction.

Mustafa Munir, Harsh Goel, Xiwen Wei, Minkyu Choi, Sahil Shah, Kartikeya Bhardwaj, Paul N. Whatmough, Sandeep Chinchali, Radu Marculescu

CoRR, November, 2025

We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback.

Minkyu Choi, S. P. Sharan, Harsh Goel, Sahil Shah, Sandeep Chinchali

CoRR, April, 2025

Real-Time Privacy Preservation for Robot Visual Perception.

Minkyu Choi, Yunhao Yang, Neel P. Bhatt, Kushagra Gupta, Sahil Shah, Aditya Rai, David Fridovich-Keil, Ufuk Topcu, Sandeep P. Chinchali

Trans. Mach. Learn. Res., 2025

A Challenge to Build Neuro-Symbolic Video Agents.

Sahil Shah, Harsh Goel, Sai Shankar Narasimhan, Minkyu Choi, S. P. Sharan, Oguzhan Akcin, Sandeep Chinchali

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification.

S. P. Sharan, Minkyu Choi, Sahil Shah, Harsh Goel, Mohammad Omama, Sandeep Chinchali

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

2024

Neuro-Symbolic Video Search.

Minkyu Choi, Harsh Goel, Mohammad Omama, Yunhao Yang, Sahil Shah, Sandeep Chinchali

CoRR, 2024

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

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Towards Neuro-Symbolic Video Understanding.

Minkyu Choi, Harsh Goel, Mohammad Omama, Yunhao Yang, Sahil Shah, Sandeep Chinchali

Proceedings of the Computer Vision - ECCV 2024, 2024

2023

Multi-Agent Reinforcement Learning with Epistemic Priors.

Thayne T. Walker, Jaime S. Ide, Minkyu Choi, Michael J. Guarino, Kevin Alcedo

Proceedings of the 9th International Conference on Control, 2023