Login / Signup
Cedegao E. Zhang
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 5
Top Topics
Mental Representations
Theorem Prover
Logical Reasoning
Language Model
Top Venues
CoRR
EMNLP
</>
Publications
</>
Cedegao E. Zhang
,
Katherine M. Collins
,
Lionel Wong
,
Adrian Weller
,
Joshua B. Tenenbaum
People use fast, goal-directed simulation to reason about novel games.
CoRR
(2024)
Theo X. Olausson
,
Alex Gu
,
Benjamin Lipkin
,
Cedegao E. Zhang
,
Armando Solar-Lezama
,
Joshua B. Tenenbaum
,
Roger Levy
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.
CoRR
(2023)
Theo Olausson
,
Alex Gu
,
Benjamin Lipkin
,
Cedegao E. Zhang
,
Armando Solar-Lezama
,
Joshua B. Tenenbaum
,
Roger Levy
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.
EMNLP
(2023)
Lance Ying
,
Katherine M. Collins
,
Megan Wei
,
Cedegao E. Zhang
,
Tan Zhi-Xuan
,
Adrian Weller
,
Joshua B. Tenenbaum
,
Lionel Wong
The Neuro-Symbolic Inverse Planning Engine (NIPE): Modeling Probabilistic Social Inferences from Linguistic Inputs.
CoRR
(2023)
Cedegao E. Zhang
,
Katherine M. Collins
,
Adrian Weller
,
Joshua B. Tenenbaum
AI for Mathematics: A Cognitive Science Perspective.
CoRR
(2023)