{"total":22,"rows":[{"id":"2303.04910","title":"Baldur: Whole-Proof Generation and Repair with Large Language Models","created":"2023-03-08","cited_by_count":119,"area":null},{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"area":null},{"id":"2303.04864","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","created":"2023-03-08","cited_by_count":60,"area":null},{"id":"2303.08006","title":"Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification","created":"2023-03-09","cited_by_count":38,"area":null},{"id":"2211.07524","title":"Towards a Mathematics Formalisation Assistant using Large Language Models","created":"2022-11-14","cited_by_count":22,"area":null},{"id":"2211.04591","title":"Learning to Follow Instructions in Text-Based Games","created":"2022-11-08","cited_by_count":12,"area":null},{"id":"2406.05709","title":"TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules","created":"2024-06-09","cited_by_count":9,"area":null},{"id":"2505.15740","title":"HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement","created":"2025-05-21","cited_by_count":6,"area":null},{"id":"2507.00877","title":"Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite","created":"2025-07-01","cited_by_count":4,"area":null},{"id":"2406.10449","title":"Learning Temporal Logic Predicates from Data with Statistical Guarantees","created":"2024-06-15","cited_by_count":3,"area":null},{"id":"2411.13269","title":"Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software","created":"2024-11-20","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":"2312.17353","title":"Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach","created":"2023-12-28","cited_by_count":1,"area":null},{"id":"2404.02872","title":"Integrating Explanations in Learning LTL Specifications from Demonstrations","created":"2024-04-03","cited_by_count":1,"area":null},{"id":"2507.07808","title":"Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers","created":"2025-07-10","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":"2607.13303","title":"Faithful Autoformalization of Natural Language Assertions","created":"2026-07-14","cited_by_count":1,"area":null},{"id":"2508.10414","title":"MCP2OSC: Parametric Control by Natural Language","created":"2025-08-14","cited_by_count":0,"area":null},{"id":"2509.07867","title":"CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models","created":"2025-09-09","cited_by_count":0,"area":null},{"id":"2512.16770","title":"GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation","created":"2025-12-18","cited_by_count":0,"area":null},{"id":"2605.10462","title":"Coherency through formalisations of Structured Natural Language, A case study on FRETish","created":"2026-05-11","cited_by_count":0,"area":null},{"id":"2610.12030","title":"Natural Language to First-Order Logic LLM-based Autoformalization","created":"2026-10-08","cited_by_count":0,"area":null}],"next_cursor":null}