Xiaohan Lin
5 papers
· 2020–2024
· 4 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Cross-Pollinator
(12)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(13)
Conferences
NIPS (2)
ECCV (1)
ICLR (1)
NAACL (1)
Top co-authors
Keywords
theorem proving
(2)
neural dynamics
(1)
mathematical reasoning
(1)
object tracking
(1)
program synthesis
(1)
program verification
(1)
automated reasoning
(1)
formal verification
(1)
synaptic plasticity
(1)
attractor network
(1)
balanced network
(1)
language model
(1)
model fine-tuning
(1)
automated theorem proving
(1)
neural theorem proving
(1)
large language model
(1)
interactive verification
(1)
knowledge reuse
(1)
automated theorem generation
(1)