{"total":14,"rows":[{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263,"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":"2206.01962","title":"Formal Specifications from Natural Language","created":"2022-06-04","cited_by_count":33,"area":null},{"id":"2501.17496","title":"SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning","created":"2025-01-29","cited_by_count":6,"area":null},{"id":"2110.10054","title":"Generating Symbolic Reasoning Problems with Transformer GANs","created":"2021-10-19","cited_by_count":5,"area":null},{"id":"2403.13838","title":"Circuit Transformer: A Transformer That Preserves Logical Equivalence","created":"2024-03-14","cited_by_count":5,"area":null},{"id":"2305.15109","title":"Guessing Winning Policies in LTL Synthesis by Semantic Learning","created":"2023-05-24","cited_by_count":4,"area":null},{"id":"2305.13164","title":"INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search","created":"2023-05-22","cited_by_count":3,"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":"2205.15389","title":"Attention Flows for General Transformers","created":"2022-05-30","cited_by_count":1,"area":null},{"id":"2210.16606","title":"Neural Combinatorial Logic Circuit Synthesis from Input-Output Examples","created":"2022-10-29","cited_by_count":1,"area":null},{"id":"2402.08365","title":"Learning Better Representations From Less Data For Propositional Satisfiability","created":"2024-02-13","cited_by_count":1,"area":null},{"id":"2509.02491","title":"RNN Generalization to Omega-Regular Languages","created":"2025-09-02","cited_by_count":1,"area":null},{"id":"2510.01853","title":"Learning Representations Through Contrastive Neural Model Checking","created":"2025-10-02","cited_by_count":0,"area":null}],"next_cursor":null}