Seongwon Bang

According to our database, Seongwon Bang authored at least 1 paper in 2022.

Collaborative distances:

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

2022

SMT-Based Translation Validation for Machine Learning Compiler.

Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee

Proceedings of the Computer Aided Verification - 34th International Conference, 2022