AI is about to outpace our ability to check it. Understanding will not scale. Proof will. I build autonomous systems that run their own ideas against reality and keep what survives. Ours is the part no machine can take: deciding what is worth doing and answering for it. Progress should be bounded by what is true, not by how fast we can review it.
Yoonkyu Woo*, Woojin Lee*, Jin-Xia Huang
Woojin Lee*, Yoonkyu Woo*, Jinah Kim, Hyeok-Min Gwon, Jin-Xia Huang
Woojin Lee, Jin-Xia Huang
Woojin Lee*, Yujin Sim*, Hongjin Kim, Harksoo Kim
Jaewook Lee*, Woojin Lee*, Oh-wook Kwon, Harksoo Kim
Woojin Lee*, Jaewook Lee*, Harksoo Kim
Jaewook Lee*, Yeajin Jang*, Hongjin Kim, Woojin Lee, Harksoo Kim
Bitna Keum, Juoh Sun, Woojin Lee, Seongheum Park, Harksoo Kim
* Equal contribution