{"total":13,"rows":[{"id":"2402.10754","title":"LLMDFA: Analyzing Dataflow in Code with Large Language Models","created":"2024-02-16","cited_by_count":22,"area":null},{"id":"2502.18474","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","created":"2025-02-05","cited_by_count":11,"area":null},{"id":"2406.15540","title":"Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods","created":"2024-06-21","cited_by_count":6,"area":null},{"id":"2412.14841","title":"Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis","created":"2024-12-19","cited_by_count":6,"area":null},{"id":"2502.01573","title":"Next Steps in LLM-Supported Java Verification","created":"2025-02-03","cited_by_count":3,"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.07789","title":"Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method","created":"2025-01-20","cited_by_count":2,"area":null},{"id":"2506.10106","title":"One For All: LLM-based Heterogeneous Mission Planning in Precision Agriculture","created":"2025-06-11","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.03232","title":"IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking","created":"2026-01-18","cited_by_count":1,"area":null},{"id":"2606.18519","title":"As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture","created":"2026-06-16","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":"2606.26490","title":"An Empirical Study of LLM-Generated Specifications for VeriFast","created":"2026-06-25","cited_by_count":0,"area":null}],"next_cursor":null}