Fetching the paper…
Reading the bibliography…
The performance of Large language models (LLMs) across a broad range of domains has been impressive but have been critiqued as not being able to reason about their process and conclusions derived.
Computer science as empirical inquiry: symbols and search,
A. Newell, H. A. Simon, · 1976
Earlier work this paper cites.
N. J. Nilsson, The Physical Symbol System Hypothesis: Status and Prospects, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 9–17. URL:
2007
Earlier work this paper cites.
Systematic literature reviews in software engineering – a systematic literature review,
B. Kitchenham, O. Pearl Brereton, D. Budgen, M. Turner, J. Bailey, S. Linkman, · 2008
Earlier work this paper cites.
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, L. Kaiser, I. Polosukhin, · 2017
Earlier work this paper cites.
Improving language understanding by generative pre-training (2018)
A. Radford, K. Narasimhan, T. Salimans, I. Sutskever, · 2018
Earlier work this paper cites.
2019
Earlier work this paper cites.
Contrastive reinforcement learning of symbolic reasoning domains,
G. Poesia, W. Dong, N. Goodman, · 2021
Earlier work this paper cites.
2022
Earlier work this paper cites.
2022
Earlier work this paper cites.
2022
Earlier work this paper cites.
2023
Earlier work this paper cites.
2023
Cited alongside, same era.
2023
Cited alongside, same era.
2023
Cited alongside, same era.
2023
Cited alongside, same era.
Graph of thoughts: Solving elaborate problems with large language models,
M. Besta, N. Blach, A. Kubicek, R. Gerstenberger, M. Podstawski, L. Gianinazzi, J. Gajda, T. Lehmann, H. Niewiadomski, P. Nyczyk, T. Hoefler, · 2024
Closest in time.
Large language models are neurosymbolic reasoners,
M. Fang, S. Deng, Y. Zhang, Z. Shi, L. Chen, M. Pechenizkiy, J. Wang, · 2024
Closest in time.
Integrating language models with symbolic formulas for first-order logic reasoning,
Y. Sheng, L. Li, Y. Wang, D. Zeng, · 2024
Closest in time.
2024
Closest in time.
2024
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2023
Cited alongside, same era.
Teaching small language models to reason,
L. C. Magister, J. Mallinson, J. Adamek, E. Malmi, A. Severyn, · 2023
Cited alongside, same era.
Reasoning in large language models through symbolic math word problems,
V. Gaur, N. Saunshi, · 2023
Cited alongside, same era.
Improved logical reasoning of language models via differentiable symbolic programming,
H. Zhang, J. Huang, Z. Li, M. Naik, E. Xing, · 2023
Cited alongside, same era.
2023
Cited alongside, same era.
Automatic prompt augmentation and selection with chain-of-thought from labeled data,
K. Shum, S. Diao, T. Zhang, · 2023
Cited alongside, same era.
2023
Cited alongside, same era.
2024
Closest in time.
2024
Closest in time.
2024
Closest in time.
2024
Closest in time.
A systematic review of systematic review process research in software engineering,
B. Kitchenham, P. Brereton, · 2075
Closest in time.