Wonhyuk Choi

According to our database, Wonhyuk Choi authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Hierarchical Action Chunking Transformer: Learning Temporal Multimodality from Demonstrations with Fast Imitation Behavior.

J. Hyeon Park, Wonhyuk Choi, Sunpyo Hong, Hoseong Seo, Joonmo Ahn, Changsu Ha, Heungwoo Han, Junghyun Kwon

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

2022

Can reactive synthesis and syntax-guided synthesis be friends?

Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Can reactive synthesis and syntax-guided synthesis be friends?

Wonhyuk Choi

Proceedings of the SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17, 2021

Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.

Wonhyuk Choi, Michel Vazirani, Mark Santolucito

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021