{"total":20,"rows":[{"id":"2305.18654","title":"Faith and Fate: Limits of Transformers on Compositionality","created":"2023-05-29","cited_by_count":503,"area":null},{"id":"2204.10532","title":"End-to-end symbolic regression with transformers","created":"2022-04-22","cited_by_count":203,"area":null},{"id":"2310.16028","title":"What Algorithms can Transformers Learn? A Study in Length Generalization","created":"2023-10-24","cited_by_count":199,"area":null},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"area":null},{"id":"2112.01898","title":"Linear algebra with transformers","created":"2021-12-03","cited_by_count":63,"area":null},{"id":"2310.02227","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","created":"2023-10-03","cited_by_count":47,"area":null},{"id":"2308.15594","title":"Learning the greatest common divisor: explaining transformer predictions","created":"2023-08-29","cited_by_count":33,"area":null},{"id":"2207.04785","title":"SALSA: Attacking Lattice Cryptography with Transformers","created":"2022-07-11","cited_by_count":28,"area":null},{"id":"2301.02195","title":"Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs","created":"2023-01-05","cited_by_count":27,"area":null},{"id":"2211.00170","title":"What is my math transformer doing? -- Three results on interpretability and generalization","created":"2022-10-31","cited_by_count":19,"area":null},{"id":"2208.11445","title":"Induced Natural Language Rationales and Interleaved Markup Tokens Enable Extrapolation in Large Language Models","created":"2022-08-24","cited_by_count":10,"area":null},{"id":"2311.01230","title":"Multi-Operational Mathematical Derivations in Latent Space","created":"2023-11-02","cited_by_count":6,"area":null},{"id":"2402.00723","title":"Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders","created":"2024-02-01","cited_by_count":6,"area":null},{"id":"2404.18423","title":"OCK: Unsupervised Dynamic Video Prediction with Object-Centric Kinematics","created":"2024-04-29","cited_by_count":3,"area":null},{"id":"2410.02666","title":"AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs","created":"2024-10-03","cited_by_count":1,"area":null},{"id":"2502.15466","title":"Mitigating Data Scarcity in Time Series Analysis: A Foundation Model with Series-Symbol Data Generation","created":"2025-02-21","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":"2508.06383","title":"Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms","created":"2025-08-08","cited_by_count":1,"area":null},{"id":"2411.07336","title":"SetLexSem Challenge: Using Set Operations to Evaluate the Lexical and Semantic Robustness of Language Models","created":"2024-11-11","cited_by_count":0,"area":null},{"id":"2502.00197","title":"Learning Model Successors","created":"2025-01-31","cited_by_count":0,"area":null}],"next_cursor":null}