Computational Theory - Department of Computer Science
Computational Theory Group
Professors: Heejin Park, Yong S. Choi
The theory of computation is a sector that invents new algorithms, proves the correctness of pre-existing algorithms and/or computes the time/space complexity of algorithms. Furthermore, this field also investigates whether problems are computable or not. Recently, string matching algorithms and indexing of data structure for efficient search are researched significantly. These algorithms are applied to many fields, especially bioinformatics, network security and information retrieval.
Selected Publications
- Lee, J., Y. Li, G. Jeong, J. Kim, H. Oh, and Heejin Park. “Signing-enhanced forward-secure signatures by leveraging SNARKs.” IEICE Transactions on Information and Systems. (2026).
- Kim, K., E. Jeong, S. Lee, S. Yoon, and Yong Suk Choi. “CLAWS: Creativity detection for LLM-generated solutions using attention window of sections.” In Advances in Neural Information Processing Systems (NeurIPS). Curran Associates, 2025.
- Kim, S., S. J. Hwang, J. Kim, J. Park, and Yong Suk Choi. “ReGraphRAG: Reorganizing fragmented knowledge graphs for multi-perspective retrieval-augmented generation.” In Findings of the Association for Computational Linguistics: EMNLP 2025. Association for Computational Linguistics, 2025.
- Kang, M., and Yong Suk Choi. “FreeMix: Personalized structure and appearance control without finetuning.” Applied Sciences 15, no. 18 (2025): 9889.
- Lee, D., H. Jung, and Yong Suk Choi. “Mind the link: Discourse link-aware hallucination detection in summarization.” Applied Sciences 15, no. 19 (2025): 10506.
- Kim, S., and Yong Suk Choi. “Contextual feature expansion with superordinate concept for compositional zero-shot learning.” Applied Sciences 15, no. 17 (2025): 9837.
- Kim, S., and Yong Suk Choi. “Predict unmatching compositions for compositional zero-shot learning.” IEEE Access (2025).
- Jeong, E., and Yong Suk Choi. “ACR: Adaptive confidence re-scoring for reliable answer selection among multiple candidates.” Applied Sciences 15, no. 17 (2025): 9587.
- Seo, H., and Yong Suk Choi. “V-PRUNE: Semantic-aware patch pruning before tokenization in vision-language model inference.” Applied Sciences 15, no. 17 (2025): 9463.
- Kang, M., and Yong Suk Choi. “Editable noise map inversion: Encoding target-image into noise for high-fidelity image manipulation.” In Proceedings of the International Conference on Machine Learning (ICML). PMLR, 2025.
- Jeong, Y., and Yong Suk Choi. “NuCap: A numerically aware captioning framework for improved numerical reasoning.” Applied Sciences 15, no. 10 (2025): 5608.
- Kim, K., and Yong Suk Choi. “CFP-AL: Combining model features and prediction for active learning in sentence classification.” Applied Sciences 15, no. 1 (2025): 482.