https://deepai.org/publication/code-prompting-a-neural-symbolic-method-for-complex-reasoning-in-large-language-models
05/29/23 - Large language models (LLMs) have scaled up to unlock a wide range of complex reasoning tasks with the aid of various prompting me...
symbolic methodcodepromptingneuralcomplex
https://aclanthology.org/2025.acl-demo.2/
Xin Quan, Marco Valentino, Danilo Carvalho, Dhairya Dalal, Andre Freitas. Proceedings of the 63rd Annual Meeting of the Association for Computational...
formal reasoningpeircematerialviallm
https://openreview.net/forum?id=qFC728XyeM&referrer=%5Bthe%20profile%20of%20Yingbin%20Liang%5D(%2Fprofile%3Fid%3D~Yingbin_Liang1)
Transformers have demonstrated remarkable capabilities in multi-step reasoning tasks. However, understandings of the underlying mechanisms by which they...
multi headtransformersprovablylearnsymbolic