{"total":16,"rows":[{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"area":null},{"id":"2410.06107","title":"Towards AI-Native Software Engineering (SE 3.0): A Vision and a Challenge Roadmap","created":"2024-10-08","cited_by_count":30,"area":null},{"id":"2401.12947","title":"Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion","created":"2024-01-23","cited_by_count":14,"area":null},{"id":"2505.04441","title":"Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs","created":"2025-05-07","cited_by_count":11,"area":null},{"id":"2308.03312","title":"Exploiting Code Symmetries for Learning Program Semantics","created":"2023-08-07","cited_by_count":10,"area":null},{"id":"2310.07958","title":"Towards Causal Deep Learning for Vulnerability Detection","created":"2023-10-12","cited_by_count":9,"area":null},{"id":"2507.22659","title":"A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models","created":"2025-07-30","cited_by_count":8,"area":null},{"id":"2402.11842","title":"CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking","created":"2024-02-19","cited_by_count":7,"area":null},{"id":"2504.13676","title":"Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction","created":"2025-04-18","cited_by_count":5,"area":null},{"id":"2504.00019","title":"ObscuraCoder: Powering Efficient Code LM Pre-Training Via Obfuscation Grounding","created":"2025-03-27","cited_by_count":4,"area":null},{"id":"2512.24635","title":"DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information","created":"2025-12-31","cited_by_count":3,"area":null},{"id":"2406.04710","title":"Morescient GAI for Software Engineering (Extended Version)","created":"2024-06-07","cited_by_count":1,"area":null},{"id":"2503.08228","title":"Investigating Execution-Aware Language Models for Code Optimization","created":"2025-03-11","cited_by_count":1,"area":null},{"id":"2410.21673","title":"Knowledge-Guided Prompt Learning for Request Quality Assurance in Public Code Review","created":"2024-10-29","cited_by_count":0,"area":null},{"id":"2504.12365","title":"Themisto: Jupyter-Based Runtime Benchmark","created":"2025-04-16","cited_by_count":0,"area":null},{"id":"2609.03702","title":"Synthetic Semantic Supervision for Contrastive Code Representation Learning in Small Transformers: An Empirical Study","created":"2026-09-03","cited_by_count":0,"area":null}],"next_cursor":null}