Ben Lipkin
3 papers
· 2022–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(3)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
EMNLP (1)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
fmri analysis
(1)
symbolic reasoning
(1)
logical reasoning
(1)
theorem proving
(1)
semantic parsing
(1)
neural network interpretability
(1)
first-order logic
(1)
functional magnetic resonance imaging
(1)
neural representation
(1)
brain encoding
(1)
automated theorem proving
(1)
code representation
(1)
neurosymbolic reasoning
(1)
code understanding
(1)
large language model
(1)
probe training
(1)
neural alignment
(1)
program comprehension
(1)
neurosymbolic computation
(1)