LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers TX Olausson, A Gu, B Lipkin, CE Zhang, A Solar-Lezama, JB Tenenbaum, ... Proceedings of Empirical Methods in Natural Language Processing, 2023 | 32 | 2023 |
Grounded physical language understanding with probabilistic programs and simulated worlds CE Zhang, L Wong, G Grand, JB Tenenbaum Proceedings of the annual meeting of the cognitive science society 45, 2023 | 10 | 2023 |
The Neuro-Symbolic Inverse Planning Engine (NIPE): Modeling probabilistic social inferences from linguistic inputs L Ying, KM Collins, M Wei, CE Zhang, T Zhi-Xuan, A Weller, ... ToM Workshop at ICML 2023, 2023 | 7 | 2023 |
AI for mathematics: A cognitive science perspective CE Zhang, KM Collins, A Weller, JB Tenenbaum MATH-AI Workshop at NeurIPS 2023, 2023 | 5 | 2023 |
Does Amy know Ben knows you know your cards? A computational model of higher-order epistemic reasoning C Zhang, H Ham, WH Holliday Proceedings of the Annual Meeting of the Cognitive Science Society 43, 2021 | 2 | 2021 |
When do introspection axioms matter for multi-agent epistemic reasoning? Y Ding, WH Holliday, C Zhang Proceedings of Theoretical Aspects of Rationality and Knowledge 17, 2019 | 2 | 2019 |
Building machines that learn and think with people KM Collins, I Sucholutsky, U Bhatt, K Chandra, L Wong, M Lee, CE Zhang, ... arXiv preprint arXiv:2408.03943, 2024 | 1 | 2024 |
Conditional and modal reasoning in large language models WH Holliday, M Mandelkern, CE Zhang arXiv preprint arXiv:2401.17169, 2024 | 1 | 2024 |
People use fast, goal-directed simulation to reason about novel games CE Zhang, KM Collins, L Wong, A Weller, JB Tenenbaum arXiv preprint arXiv:2407.14095, 2024 | | 2024 |
Towards a model of confidence judgements in concept learning TE Mills, T Chen, CE Zhang, JB Tenenbaum Proceedings of the Annual Meeting of the Cognitive Science Society 45, 2023 | | 2023 |
A model of temporal connective acquisition M Gorenstein, C Zhang, ST Piantadosi Proceedings of the Annual Meeting of the Cognitive Science Society 42, 2020 | | 2020 |