{"total":33,"rows":[{"id":"2505.23135","title":"VERINA: Benchmarking Verifiable Code Generation","created":"2025-05-29","cited_by_count":34,"area":null},{"id":"2410.15756","title":"Automated Proof Generation for Rust Code via Self-Evolution","created":"2024-10-21","cited_by_count":33,"area":null},{"id":"2505.23486","title":"Autoformalization in the Era of Large Language Models: A Survey","created":"2025-05-29","cited_by_count":21,"area":null},{"id":"2502.18917","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","created":"2025-02-26","cited_by_count":11,"area":null},{"id":"2605.25232","title":"Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution","created":"2026-05-24","cited_by_count":5,"area":null},{"id":"2504.15284","title":"EditLord: Learning Code Transformation Rules for Code Editing","created":"2025-03-10","cited_by_count":4,"area":null},{"id":"2604.12268","title":"CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation","created":"2026-04-14","cited_by_count":4,"area":null},{"id":"2404.09384","title":"Generative transformations and patterns in LLM-native approaches for software verification and falsification","created":"2024-04-14","cited_by_count":2,"area":null},{"id":"2502.15217","title":"FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs","created":"2025-02-21","cited_by_count":2,"area":null},{"id":"2506.10704","title":"Formalising Software Requirements using Large Language Models","created":"2025-06-12","cited_by_count":2,"area":null},{"id":"2509.23130","title":"SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems","created":"2025-09-27","cited_by_count":2,"area":null},{"id":"2509.25043","title":"Large Language Models for Software Testing: A Research Roadmap","created":"2025-09-29","cited_by_count":2,"area":null},{"id":"2602.04892","title":"Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction","created":"2026-01-30","cited_by_count":2,"area":null},{"id":"2604.00280","title":"Spec-Harness: Assessing and Guiding LLM-Synthesized Formal Specifications Beyond Verifiability","created":"2026-03-31","cited_by_count":2,"area":null},{"id":"2604.10392","title":"Intent-aligned Formal Specification Synthesis via Traceable Refinement","created":"2026-04-12","cited_by_count":2,"area":null},{"id":"2510.17163","title":"TREAT: A Code LLMs Trustworthiness / Reliability Evaluation and Testing Framework","created":"2025-10-20","cited_by_count":1,"area":null},{"id":"2602.12058","title":"ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair","created":"2026-02-12","cited_by_count":1,"area":null},{"id":"2603.03668","title":"Can LLM Aid in Solving Constraints with Inductive Definitions?","created":"2026-03-04","cited_by_count":1,"area":null},{"id":"2606.05792","title":"Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation","created":"2026-06-04","cited_by_count":1,"area":null},{"id":"2606.17637","title":"Brick-DICL: Dynamic In-Context Learning for Automated Brick Schema Classification","created":"2026-06-16","cited_by_count":1,"area":null},{"id":"2607.13303","title":"Faithful Autoformalization of Natural Language Assertions","created":"2026-07-14","cited_by_count":1,"area":null},{"id":"2506.14627","title":"Working Document -- Formalising Software Requirements with Large Language Models","created":"2025-06-17","cited_by_count":0,"area":null},{"id":"2508.16071","title":"From Benchmark Data To Applicable Program Repair: An Experience Report","created":"2025-08-22","cited_by_count":0,"area":null},{"id":"2604.15359","title":"AutoFlows++: Hierarchical Message Flow Mining for System on Chip Designs","created":"2026-04-12","cited_by_count":0,"area":null},{"id":"2605.11315","title":"Natural Language based Specification and Verification","created":"2026-05-11","cited_by_count":0,"area":null},{"id":"2605.23931","title":"BODHI: Precise OS Kernel Specification Inference","created":"2026-04-22","cited_by_count":0,"area":null},{"id":"2606.20969","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2607.09366","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","created":"2026-07-10","cited_by_count":0,"area":null},{"id":"2607.22902","title":"How Well Can AI Generate Backlogs from App Mockups?","created":"2026-07-24","cited_by_count":0,"area":null},{"id":"2607.25333","title":"Specula: Scaling formal specifications for autonomous model checking of system code","created":"2026-07-28","cited_by_count":0,"area":null},{"id":"2609.06052","title":"SkillSpec: Intent-Masked Specification Reasoning for Agent Skill Correctness","created":"2026-09-05","cited_by_count":0,"area":null},{"id":"2609.39568","title":"Self-Spec Verifiable Code Generation","created":"2026-09-30","cited_by_count":0,"area":null},{"id":"2610.17358","title":"claimcheck: Measuring and Improving Specification Faithfulness","created":"2026-10-12","cited_by_count":0,"area":null}],"next_cursor":null}