Jiawei Shen
3 papers · 2026–2026 · 1 conference · across top CS/AI conferences
Conferences
ACL (3)
Top co-authors
Keywords
reinforcement learning
(1)
knowledge graph
(1)
video summarization
(1)
supervised fine-tuning
(1)
data quality
(1)
automated theorem proving
(1)
data scarcity
(1)
semantic fidelity
(1)
large language model
(1)
epistemic planning
(1)
neuro-symbolic framework
(1)
mathematical formalization
(1)
data renovation
(1)
potential entropy
(1)
pedagogical summarization
(1)
Papers
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
ACL 2026
RSDA: Restoring Stale Data Affinity via Dynamic Renovation Strategy for Mitigating Data Scarcity
ACL 2026
KCVR: Knowledge-Centric Video Reconstruction for Structured Pedagogical Summarization via Dynamic Graph Planning
ACL 2026