Ben Lipkin
3 papers · 2022–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
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)
Papers
Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
ICLR 2025
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
EMNLP 2023
Convergent Representations of Computer Programs in Human and Artificial Neural Networks
NIPS 2022