Jiawei Shen
3 papers · 2026–2026 · 1 venue · 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 ↓
🌉
Interdisciplinary Bridge · Bronze
Venues
Top co-authors
Research topics
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
KCVR: Knowledge-Centric Video Reconstruction for Structured Pedagogical Summarization via Dynamic Graph Planning
ACL 2026
RSDA: Restoring Stale Data Affinity via Dynamic Renovation Strategy for Mitigating Data Scarcity
ACL 2026