Jongyoon Kim
5 papers · 2024–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(13)
Top co-authors
Research topics
Keywords
large language model
(2)
code generation
(2)
pseudo query generation
(2)
domain adaptation
(2)
belief state
(1)
distribution shift
(1)
partial observability
(1)
parameter-efficient fine-tuning
(1)
low-rank adaptation
(1)
automated theorem proving
(1)
pre-trained language model
(1)
retrieval-augmented generation
(1)
agent system
(1)
neural retrieval
(1)
programming language
(1)
lottery ticket
(1)
semantic correctness
(1)
formal theorem proving
(1)
query-document relationship
(1)
term recall
(1)
Papers
Benchmarking Testing in Automated Theorem Proving
ACL 2026
PLEX: Adaptive Parameter-Efficient Fine-Tuning for Code LLMs using Lottery-Tickets
NAACL 2025
tRAG: Term-level Retrieval-Augmented Generation for Domain-Adaptive Retrieval
NAACL 2025
DADA: Distribution-Aware Domain Adaptation of PLMs for Information Retrieval
ACL 2024
QuBE: Question-based Belief Enhancement for Agentic LLM Reasoning
EMNLP 2024