{"total":18,"rows":[{"id":"2408.13001","title":"CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution","created":"2024-08-23","cited_by_count":31,"area":"lr"},{"id":"2503.04779","title":"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference","created":"2025-02-22","cited_by_count":16,"area":"lr"},{"id":"2504.14119","title":"CodeCrash: Exposing LLM Fragility to Misleading Natural Language in Code Reasoning","created":"2025-04-19","cited_by_count":14,"area":"lr"},{"id":"2506.00750","title":"CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning","created":"2025-05-31","cited_by_count":13,"area":"lr"},{"id":"2503.19599","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","created":"2025-03-25","cited_by_count":7,"area":"lr"},{"id":"2510.03415","title":"LLMs Lean on Priors, Not Programming Language Semantics","created":"2025-10-03","cited_by_count":6,"area":"lr"},{"id":"2601.03731","title":"From Laboratory to Real-World Applications: Benchmarking Agentic Code Reasoning at the Repository Level","created":"2026-01-07","cited_by_count":6,"area":"lr"},{"id":"2603.11226","title":"ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning","created":"2026-03-11","cited_by_count":6,"area":"lr"},{"id":"2503.22832","title":"L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution","created":"2025-03-28","cited_by_count":5,"area":"lr"},{"id":"2607.25996","title":"RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models","created":"2026-07-28","cited_by_count":5,"area":"lr"},{"id":"2507.17548","title":"CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning","created":"2025-07-23","cited_by_count":4,"area":"lr"},{"id":"2512.14917","title":"Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings","created":"2025-12-16","cited_by_count":3,"area":"lr"},{"id":"2511.02197","title":"Open the Oyster: Empirical Evaluation and Improvement of Code Reasoning Confidence in LLMs","created":"2025-11-04","cited_by_count":1,"area":"lr"},{"id":"2605.11006","title":"An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning","created":"2026-05-10","cited_by_count":1,"area":"lr"},{"id":"2605.15097","title":"Veritas: Grounding LLM Agents for Reliable Vulnerability Reasoning over Stripped Binaries","created":"2026-05-14","cited_by_count":1,"area":"lr"},{"id":"2605.17958","title":"Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning","created":"2026-05-18","cited_by_count":1,"area":"lr"},{"id":"2609.28449","title":"Can LLMs Reason About Runtime Behavior? A Repository-Level Dynamic Benchmark","created":"2026-09-23","cited_by_count":0,"area":"lr"},{"id":"2609.34661","title":"Codoku: Renewable Program-Reasoning Challenges for Frontier Coding Agents","created":"2026-09-28","cited_by_count":0,"area":"lr"}],"next_cursor":null}