Communities
Connect sessions
AI calendar
Organizations
Contact Sales
Search
Open menu
Home
Papers
2403.16097
Cited By
v1
v2 (latest)
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
24 March 2024
Minyu Chen
Guoqiang Li
Ling-I Wu
Ruibang Liu
Yuxin Su
Xi Chang
Jianxin Xue
LLMAG
ELM
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Can Language Models Pretend Solvers? Logic Code Simulation with LLMs"
2 / 2 papers shown
Title
Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
Lin Ren
Guohui Xiao
Guilin Qi
Yishuai Geng
Haohan Xue
LRM
70
0
0
26 Jul 2025
Can Transformers Reason Logically? A Study in SAT Solving
Leyan Pan
Vijay Ganesh
Jacob Abernethy
Chris Esposo
Wenke Lee
ReLM
LRM
163
6
0
09 Oct 2024
1
