{"total":13,"rows":[{"id":"2404.12534","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","created":"2024-04-18","cited_by_count":58,"area":null},{"id":"2401.02949","title":"Graph2Tac: Online Representation Learning of Formal Math Concepts","created":"2024-01-05","cited_by_count":15,"area":null},{"id":"2410.19605","title":"CoqPilot, a plugin for LLM-based generation of proofs","created":"2024-10-25","cited_by_count":11,"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":"2410.19940","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","created":"2024-10-25","cited_by_count":9,"area":null},{"id":"2205.01981","title":"The Isabelle ENIGMA","created":"2022-05-04","cited_by_count":8,"area":null},{"id":"2104.05207","title":"Online Machine Learning Techniques for Coq: A Comparison","created":"2021-04-12","cited_by_count":7,"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":"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":"2401.02950","title":"The Tactician's Web of Large-Scale Formal Knowledge","created":"2024-01-05","cited_by_count":1,"area":null},{"id":"2411.01188","title":"Learning Rules Explaining Interactive Theorem Proving Tactic Prediction","created":"2024-11-02","cited_by_count":0,"area":null},{"id":"2608.05420","title":"Can Open-Weight LLMs Produce Kernel-Verified Coq Proofs? A Pilot Study","created":"2026-08-05","cited_by_count":0,"area":null},{"id":"2608.12762","title":"PROVE-RT: Generating Mechanized Theorem Prover Scripts for Real-Time Systems using LLMs","created":"2026-08-13","cited_by_count":0,"area":null}],"next_cursor":null}