Juntao Dai
10 papers
· 2022–2026
· 6 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(6)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(28)
π£
Hot Topic Early Bird
π
Grand Slam
β
The Questioner
π
Century Club
(10)
ποΈ
Keyword Collector
(53)
π₯
Unstoppable
(5)
Conferences
NIPS (3)
AAAI (2)
EMNLP (2)
ICLR (1)
ICML (1)
JMLR (1)
Top co-authors
Keywords
safe reinforcement learning
(3)
large language model
(3)
constraint satisfaction
(3)
policy optimization
(3)
theorem proving
(1)
preference learning
(1)
transfer learning
(1)
visual reasoning
(1)
mathematical reasoning
(1)
ai safety
(1)
automated reasoning
(1)
safety alignment
(1)
reinforcement learning from human feedback
(1)
formal verification
(1)
first-order logic
(1)
policy learning
(1)
risk minimization
(1)
reward maximization
(1)
knowledge distillation
(1)
policy gradient
(1)