{"total":51,"rows":[{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263,"area":null},{"id":"2209.00840","title":"FOLIO: Natural Language Reasoning with First-Order Logic","created":"2022-09-02","cited_by_count":235,"area":"lr"},{"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":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132,"area":"offlinerl"},{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"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":"2404.15522","title":"LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models","created":"2024-04-23","cited_by_count":68,"area":"lr"},{"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":"2310.00836","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","created":"2023-10-02","cited_by_count":35,"area":"lr"},{"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":"2303.01158","title":"Iterative Circuit Repair Against Formal Specifications","created":"2023-03-02","cited_by_count":9,"area":"mechinterp"},{"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":"2304.01771","title":"Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems","created":"2023-04-04","cited_by_count":2,"area":"lr"},{"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":"2312.11720","title":"Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models","created":"2023-12-18","cited_by_count":2,"area":"lr"},{"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":"2510.17256","title":"Explainability of Large Language Models: Opportunities and Challenges toward Generating Trustworthy Explanations","created":"2025-10-20","cited_by_count":2,"area":"mechinterp"},{"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":"2212.10292","title":"Towards Unsupervised Visual Reasoning: Do Off-The-Shelf Features Know How to Reason?","created":"2022-12-20","cited_by_count":1,"area":"lr"},{"id":"2402.08365","title":"Learning Better Representations From Less Data For Propositional Satisfiability","created":"2024-02-13","cited_by_count":1,"area":null},{"id":"2405.20917","title":"Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba","created":"2024-05-31","cited_by_count":1,"area":"ssm"},{"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":"2508.09346","title":"How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy","created":"2025-08-12","cited_by_count":1,"area":"wm"},{"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":"2507.17482","title":"LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning","created":"2025-07-23","cited_by_count":0,"area":"lr"},{"id":"2509.08808","title":"Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge","created":"2025-09-10","cited_by_count":0,"area":"rag"},{"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}