Minyu Chen, Guoqiang Li 0001, Ling-I Wu, Ruibang Liu, Yuxin Su 0005, Xi Chang, Jianxin Xue. Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. In Timothy Bourke, Liqian Chen, Amir Kafshdar Goharshady, editors, Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings. Volume 15469 of Lecture Notes in Computer Science, pages 102-121, Springer, 2024. [doi]
Abstract is missing.