{"total":25,"rows":[{"id":"2504.10081","title":"RealSafe-R1: Safety-Aligned DeepSeek-R1 without Compromising Reasoning Capability","created":"2025-04-14","cited_by_count":59,"area":"lr"},{"id":"2502.19411","title":"Code to Think, Think to Code: A Survey on Code-Enhanced Reasoning and Reasoning-Driven Code Intelligence in LLMs","created":"2025-02-26","cited_by_count":47,"area":"lr"},{"id":"2502.12466","title":"EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking","created":"2025-02-18","cited_by_count":24,"area":"lr"},{"id":"2503.23145","title":"CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis","created":"2025-03-29","cited_by_count":16,"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":"2509.14662","title":"Understanding the Thinking Process of Reasoning Models: A Perspective from Schoenfeld's Episode Theory","created":"2025-09-18","cited_by_count":9,"area":"lr"},{"id":"2505.20630","title":"SV-TrustEval-C: Evaluating Structure and Semantic Reasoning in Large Language Models for Source Code Vulnerability Analysis","created":"2025-05-27","cited_by_count":8,"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":"2504.05518","title":"Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning","created":"2025-04-07","cited_by_count":7,"area":"lr"},{"id":"2502.13170","title":"Unveiling the Magic of Code Reasoning through Hypothesis Decomposition and Amendment","created":"2025-02-17","cited_by_count":6,"area":"lr"},{"id":"2505.24069","title":"Can LLMs Reason Structurally? Benchmarking via the Lens of Data Structures","created":"2025-05-29","cited_by_count":5,"area":"lr"},{"id":"2507.10548","title":"EmbRACE-3K: Embodied Reasoning and Action in Complex Environments","created":"2025-07-14","cited_by_count":5,"area":"lr"},{"id":"2509.13758","title":"A Study on Thinking Patterns of Large Reasoning Models in Code Generation","created":"2025-09-17","cited_by_count":5,"area":"lr"},{"id":"2510.15079","title":"Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models","created":"2025-10-16","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":"2412.01621","title":"NYT-Connections: A Deceptively Simple Text Classification Task that Stumps System-1 Thinkers","created":"2024-12-02","cited_by_count":4,"area":"lr"},{"id":"2506.13932","title":"Code Reasoning for Software Engineering Tasks: A Survey and A Call to Action","created":"2025-06-16","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":"2605.29277","title":"Code-QA-Bench: Separating Code Reasoning from Documentation Memorization in Repository-Level QA","created":"2026-05-28","cited_by_count":2,"area":"lr"},{"id":"2410.13501","title":"Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning","created":"2024-10-17","cited_by_count":1,"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":"2602.13962","title":"CodeGlance: Understanding Code Reasoning Challenges in LLMs through Multi-Dimensional Feature Analysis","created":"2026-02-15","cited_by_count":1,"area":"lr"},{"id":"2604.12379","title":"Beyond Output Correctness: Benchmarking and Evaluating Large Language Model Reasoning in Coding Tasks","created":"2026-04-14","cited_by_count":1,"area":"lr"},{"id":"2604.12881","title":"Evaluating LLMs Code Reasoning Under Real-World Context","created":"2026-04-14","cited_by_count":0,"area":"lr"},{"id":"2604.20917","title":"The Path Not Taken: Duality in Reasoning about Program Execution","created":"2026-04-22","cited_by_count":0,"area":"lr"}],"next_cursor":null}