Ben Lipkin

3 papers · 2022–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird

Venues

EMNLP (1) ICLR (1) NeurIPS (1)

Top co-authors

Ryan Cotterell (1) Shashank Srikant (1) Theo Olausson (1) Jason Eisner (1) Timothy J. O'Donnell (1) Alex Gu (1) Gabriel Grand (1) Roger Levy (1) Anna Ivanova (1) Tim Vieira (1)

Research topics

Artificial Intelligence (3) Deep Learning (2) Machine Learning (2) Core AI (2) Interdisciplinary (1) Bayesian & Probabilistic (1) Cognitive Science (1) Core Methods (1) Learning Types (1) Models (1) Optimization & Theory (1) Techniques (1)

Keywords

fmri analysis (1) symbolic reasoning (1) logical reasoning (1) theorem proving (1) semantic parsing (1) neural network interpretability (1) sequential monte carlo (1) first-order logic (1) functional magnetic resonance imaging (1) posterior approximation (1) neural representation (1) brain encoding (1) automated theorem proving (1) neuro-symbolic computation (1) code representation (1) controlled generation (1) code understanding (1) neuro-symbolic reasoning (1) large language model (1) probe training (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 NeurIPS 2022