{"total":15,"rows":[{"id":"2310.01831","title":"Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?","created":"2023-10-03","cited_by_count":57,"area":null},{"id":"2405.17503","title":"Code Repair with LLMs gives an Exploration-Exploitation Tradeoff","created":"2024-05-26","cited_by_count":51,"area":null},{"id":"2311.07948","title":"Finding Inductive Loop Invariants using Large Language Models","created":"2023-11-14","cited_by_count":36,"area":null},{"id":"2310.09342","title":"Ranking LLM-Generated Loop Invariants for Program Verification","created":"2023-10-13","cited_by_count":33,"area":null},{"id":"2105.11363","title":"Learning Security Classifiers with Verified Global Robustness Properties","created":"2021-05-24","cited_by_count":14,"area":null},{"id":"2412.10483","title":"Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models","created":"2024-12-13","cited_by_count":7,"area":null},{"id":"2509.21629","title":"Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis","created":"2025-09-25","cited_by_count":4,"area":null},{"id":"2103.09414","title":"Toward Neural-Network-Guided Program Synthesis and Verification","created":"2021-03-17","cited_by_count":2,"area":null},{"id":"2411.14870","title":"Application of AI to formal methods - an analysis of current trends","created":"2024-11-22","cited_by_count":2,"area":null},{"id":"2602.20610","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","created":"2026-02-24","cited_by_count":2,"area":null},{"id":"2102.04625","title":"WheaCha: A Method for Explaining the Predictions of Models of Code","created":"2021-02-09","cited_by_count":1,"area":null},{"id":"2511.06552","title":"LLM For Loop Invariant Generation and Fixing: How Far Are We?","created":"2025-11-09","cited_by_count":1,"area":null},{"id":"2212.08170","title":"BNSynth: Bounded Boolean Functional Synthesis","created":"2022-12-15","cited_by_count":0,"area":null},{"id":"2512.07501","title":"AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution","created":"2025-12-08","cited_by_count":0,"area":null},{"id":"2607.05479","title":"Privilege and confidentiality in generative AI workflows","created":"2026-07-06","cited_by_count":0,"area":null}],"next_cursor":null}