← Search

Gyeongman Kim

4 accepted papers

2025

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning

ICLR 2025poster

Complex logical reasoning tasks require a long sequence of reasoning, which a large language model (LLM) with chain-of-thought prompting still falls short. To alleviate this issue, neurosymbolic approaches incorporate a symbolic solver. Specifically, an LLM only translates a natural language problem…

2024

PromptKD: Distilling Student-Friendly Knowledge for Generative Language Models via Prompt Tuning

EMNLP 2024finding

Recent advancements in large language models (LLMs) have raised concerns about inference costs, increasing the need for research into model compression. While knowledge distillation (KD) is a prominent method for this, research on KD for generative language models like LLMs is relatively sparse, and…

2023

Diffusion Video Autoencoders: Toward Temporally Consistent Face Video Editing via Disentangled Video Encoding

CVPR 2023poster

Inspired by the impressive performance of recent face image editing methods, several studies have been naturally proposed to extend these methods to the face video editing task. One of the main challenges here is temporal consistency among edited frames, which is still unresolved. To this end, we pr…

Cited by 34SourcePDFScholar