{"total":37,"rows":[{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263,"area":null},{"id":"2203.08913","title":"Memorizing Transformers","created":"2022-03-16","cited_by_count":226,"area":null},{"id":"2204.10532","title":"End-to-end symbolic regression with transformers","created":"2022-04-22","cited_by_count":203,"area":null},{"id":"2108.11451","title":"From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey","created":"2021-08-25","cited_by_count":72,"area":null},{"id":"2306.07303","title":"A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks","created":"2023-06-11","cited_by_count":71,"area":null},{"id":"2306.15400","title":"Length Generalization in Arithmetic Transformers","created":"2023-06-27","cited_by_count":66,"area":null},{"id":"2112.01898","title":"Linear algebra with transformers","created":"2021-12-03","cited_by_count":63,"area":null},{"id":"2310.05573","title":"ODEFormer: Symbolic Regression of Dynamical Systems with Transformers","created":"2023-10-09","cited_by_count":62,"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":"2310.03686","title":"DecoderLens: Layerwise Interpretation of Encoder-Decoder Transformers","created":"2023-10-05","cited_by_count":22,"area":null},{"id":"2107.11864","title":"Neural Circuit Synthesis from Specification Patterns","created":"2021-07-25","cited_by_count":17,"area":null},{"id":"2109.02102","title":"Teaching Autoregressive Language Models Complex Tasks By Demonstration","created":"2021-09-05","cited_by_count":15,"area":null},{"id":"2110.10054","title":"Generating Symbolic Reasoning Problems with Transformer GANs","created":"2021-10-19","cited_by_count":5,"area":null},{"id":"2205.14229","title":"Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis","created":"2022-05-27","cited_by_count":5,"area":null},{"id":"2502.01702","title":"Al-Khwarizmi: Discovering Physical Laws with Foundation Models","created":"2025-02-03","cited_by_count":5,"area":null},{"id":"2411.01184","title":"Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping","created":"2024-11-02","cited_by_count":4,"area":null},{"id":"2502.15795","title":"Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization","created":"2025-02-18","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":"2402.13146","title":"OLViT: Multi-Modal State Tracking via Attention-Based Embeddings for Video-Grounded Dialog","created":"2024-02-20","cited_by_count":3,"area":null},{"id":"2502.09589","title":"Logical forms complement probability in understanding language model (and human) performance","created":"2025-02-13","cited_by_count":3,"area":null},{"id":"2202.05403","title":"Learning Temporal Rules from Noisy Timeseries Data","created":"2022-02-11","cited_by_count":2,"area":null},{"id":"2207.11649","title":"OCTAL: Graph Representation Learning for LTL Model Checking","created":"2022-07-24","cited_by_count":2,"area":null},{"id":"2305.11087","title":"Lightweight Online Learning for Sets of Related Problems in Automated Reasoning","created":"2023-05-18","cited_by_count":2,"area":null},{"id":"2410.17161","title":"Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence","created":"2024-10-22","cited_by_count":2,"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":"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":"2502.10335","title":"Studying number theory with deep learning: a case study with the M\\\"obius and squarefree indicator functions","created":"2025-02-14","cited_by_count":1,"area":null},{"id":"2506.08978","title":"Propositional Logic for Probing Generalization in Neural Networks","created":"2025-06-10","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.02491","title":"RNN Generalization to Omega-Regular Languages","created":"2025-09-02","cited_by_count":1,"area":null},{"id":"2601.23169","title":"Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning","created":"2026-01-30","cited_by_count":1,"area":null},{"id":"2308.13474","title":"OCTAL: Graph Representation Learning for LTL Model Checking","created":"2023-08-19","cited_by_count":0,"area":null},{"id":"2510.01853","title":"Learning Representations Through Contrastive Neural Model Checking","created":"2025-10-02","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}],"next_cursor":null}