{"total":17,"rows":[{"id":"2306.06531","title":"AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers","created":"2023-06-10","cited_by_count":113,"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":"2305.07766","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","created":"2023-05-12","cited_by_count":59,"area":null},{"id":"2206.01962","title":"Formal Specifications from Natural Language","created":"2022-06-04","cited_by_count":33,"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.00562","title":"TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching","created":"2025-05-01","cited_by_count":9,"area":null},{"id":"2505.20658","title":"Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge","created":"2025-05-27","cited_by_count":9,"area":null},{"id":"2501.04194","title":"STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification","created":"2025-01-08","cited_by_count":8,"area":null},{"id":"2306.06808","title":"Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications","created":"2023-06-11","cited_by_count":7,"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":"2405.14389","title":"stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic","created":"2024-05-23","cited_by_count":3,"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":"2507.07808","title":"Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers","created":"2025-07-10","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":"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":"2606.30441","title":"Translating Natural Language to Strategic Temporal Specifications via LLMs","created":"2026-06-29","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}],"next_cursor":null}