Jianqiao Lu
11 papers
· 2023–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(8)
π§
Keyword Pioneer
πΊοΈ
Taxonomy Completionist
(28)
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π
Conference Polyglot
(4)
ποΈ
Keyword Collector
(54)
β‘
Prolific Year
(5)
π
Century Club
(11)
π
Trend Setter
β
The Questioner
Conferences
NIPS (4)
EMNLP (3)
ACL (2)
ICLR (2)
Top co-authors
Research topics
Keywords
large language model
(6)
language model
(3)
tool use
(2)
formal verification
(2)
benchmark evaluation
(2)
automated reasoning
(2)
automated theorem proving
(2)
information retrieval
(1)
factuality evaluation
(1)
mathematical reasoning
(1)
program verification
(1)
spoken language understanding
(1)
error detection
(1)
multi-step planning
(1)
self-supervised learning
(1)
language model agent
(1)
program synthesis
(1)
recursive algorithm
(1)
recursive reasoning
(1)
automatic speech recognition
(1)