{"total":38,"rows":[{"id":"2405.17216","title":"Autoformalizing Euclidean Geometry","created":"2024-05-27","cited_by_count":27,"area":null},{"id":"2309.10092","title":"Conformal Temporal Logic Planning using Large Language Models","created":"2023-09-18","cited_by_count":21,"area":null},{"id":"2401.16448","title":"LLM4SecHW: Leveraging Domain Specific Large Language Model for Hardware Debugging","created":"2024-01-28","cited_by_count":18,"area":null},{"id":"2402.11498","title":"Verifiably Following Complex Robot Instructions with Foundation Models","created":"2024-02-18","cited_by_count":16,"area":null},{"id":"2504.15659","title":"VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation","created":"2025-04-22","cited_by_count":13,"area":null},{"id":"2504.21022","title":"ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees","created":"2025-04-22","cited_by_count":11,"area":null},{"id":"2504.17180","title":"We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback","created":"2025-04-24","cited_by_count":10,"area":null},{"id":"2406.07400","title":"Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control","created":"2024-06-11","cited_by_count":8,"area":null},{"id":"2512.16814","title":"Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs","created":"2025-12-18","cited_by_count":8,"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":"2310.01297","title":"Co-audit: tools to help humans double-check AI-generated content","created":"2023-10-02","cited_by_count":5,"area":null},{"id":"2505.03985","title":"LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration","created":"2025-05-06","cited_by_count":5,"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":"2401.12131","title":"NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis","created":"2024-01-22","cited_by_count":3,"area":null},{"id":"2506.10704","title":"Formalising Software Requirements using Large Language Models","created":"2025-06-12","cited_by_count":2,"area":null},{"id":"2507.15157","title":"Can LLMs Generate User Stories and Assess Their Quality?","created":"2025-07-20","cited_by_count":2,"area":null},{"id":"2511.17977","title":"Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation","created":"2025-11-22","cited_by_count":2,"area":null},{"id":"2604.10392","title":"Intent-aligned Formal Specification Synthesis via Traceable Refinement","created":"2026-04-12","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":"2507.07808","title":"Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers","created":"2025-07-10","cited_by_count":1,"area":null},{"id":"2509.18836","title":"Bounded PCTL Model Checking of Large Language Model Outputs","created":"2025-09-23","cited_by_count":1,"area":null},{"id":"2510.06756","title":"Verifying Memoryless Sequential Decision-making of Large Language Models","created":"2025-10-08","cited_by_count":1,"area":null},{"id":"2603.28426","title":"Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic","created":"2026-03-30","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":"2608.05439","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","created":"2026-08-05","cited_by_count":1,"area":null},{"id":"2408.08188","title":"Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation","created":"2024-08-15","cited_by_count":0,"area":null},{"id":"2411.09436","title":"Robot Tasks with Fuzzy Time Requirements from Natural Language Instructions","created":"2024-11-14","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":"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":"2603.02235","title":"Talking with Verifiers: Automatic Specification Generation for Neural Network Verification","created":"2026-02-13","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":"2605.22874","title":"NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic","created":"2026-05-20","cited_by_count":0,"area":null},{"id":"2606.30441","title":"Translating Natural Language to Strategic Temporal Specifications via LLMs","created":"2026-06-29","cited_by_count":0,"area":null},{"id":"2607.25333","title":"Specula: Scaling formal specifications for autonomous model checking of system code","created":"2026-07-28","cited_by_count":0,"area":null},{"id":"2608.23842","title":"Automated Synthesis of Cloud Emulators","created":"2026-08-24","cited_by_count":0,"area":null},{"id":"2609.33287","title":"Feedback Makes Perfect: A Closed-Loop Framework for NL-to-STL Translation","created":"2026-09-27","cited_by_count":0,"area":null},{"id":"2609.39568","title":"Self-Spec Verifiable Code Generation","created":"2026-09-30","cited_by_count":0,"area":null},{"id":"2610.17358","title":"claimcheck: Measuring and Improving Specification Faithfulness","created":"2026-10-12","cited_by_count":0,"area":null}],"next_cursor":null}