{"total":14,"rows":[{"id":"2505.23135","title":"VERINA: Benchmarking Verifiable Code Generation","created":"2025-05-29","cited_by_count":34,"area":null},{"id":"2506.11085","title":"LeanExplore: A search engine for Lean 4 declarations","created":"2025-06-04","cited_by_count":18,"area":null},{"id":"2501.18310","title":"ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis","created":"2025-01-30","cited_by_count":11,"area":null},{"id":"2410.19940","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","created":"2024-10-25","cited_by_count":9,"area":null},{"id":"2411.15143","title":"dafny-annotator: AI-Assisted Verification of Dafny Programs","created":"2024-11-05","cited_by_count":8,"area":null},{"id":"2506.00309","title":"Evaluation of LLMs for mathematical problem solving","created":"2025-05-30","cited_by_count":7,"area":null},{"id":"2506.07477","title":"Premise Selection for a Lean Hammer","created":"2025-06-09","cited_by_count":6,"area":null},{"id":"2508.18587","title":"A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants","created":"2025-08-26","cited_by_count":3,"area":null},{"id":"2602.13851","title":"Evaluating LLM-Generated ACSL Annotations for Formal Verification","created":"2026-02-14","cited_by_count":1,"area":null},{"id":"2603.19715","title":"Neuro-Symbolic Proof Generation for Scaling Systems Software Verification","created":"2026-03-20","cited_by_count":1,"area":null},{"id":"2607.07779","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","created":"2026-07-08","cited_by_count":1,"area":null},{"id":"2508.00017","title":"Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation","created":"2025-07-25","cited_by_count":0,"area":null},{"id":"2509.19153","title":"LLMs as verification oracles for Solidity","created":"2025-09-23","cited_by_count":0,"area":null},{"id":"2606.05729","title":"Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search","created":"2026-06-04","cited_by_count":0,"area":null}],"next_cursor":null}