{"total":22,"rows":[{"id":"2105.05330","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","created":"2021-05-11","cited_by_count":54,"area":null},{"id":"2201.04600","title":"Deep Symbolic Regression for Recurrent Sequences","created":"2022-01-12","cited_by_count":54,"area":null},{"id":"2210.15889","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","created":"2022-10-28","cited_by_count":35,"area":null},{"id":"2110.03501","title":"Pretrained Language Models are Symbolic Mathematics Solvers too!","created":"2021-10-07","cited_by_count":17,"area":null},{"id":"2206.04115","title":"Simplifying Polylogarithms with Machine Learning","created":"2022-06-08","cited_by_count":15,"area":null},{"id":"2302.09893","title":"Efficient Generator of Mathematical Expressions for Symbolic Regression","created":"2023-02-20","cited_by_count":13,"area":null},{"id":"2104.02899","title":"Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units","created":"2021-04-07","cited_by_count":8,"area":null},{"id":"2404.19696","title":"Naturally Supervised 3D Visual Grounding with Language-Regularized Concept Learners","created":"2024-04-30","cited_by_count":8,"area":null},{"id":"2112.15319","title":"A Critical Review of Inductive Logic Programming Techniques for Explainable AI","created":"2021-12-31","cited_by_count":7,"area":null},{"id":"2110.10054","title":"Generating Symbolic Reasoning Problems with Transformer GANs","created":"2021-10-19","cited_by_count":5,"area":null},{"id":"2101.09142","title":"A Study of Continuous Vector Representationsfor Theorem Proving","created":"2021-01-22","cited_by_count":4,"area":null},{"id":"2211.08142","title":"Semantic Representations of Mathematical Expressions in a Continuous Vector Space","created":"2022-10-08","cited_by_count":2,"area":null},{"id":"2302.06337","title":"Learning from Noisy Crowd Labels with Logics","created":"2023-02-13","cited_by_count":2,"area":null},{"id":"2511.05849","title":"EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph","created":"2025-11-08","cited_by_count":2,"area":null},{"id":"2204.09654","title":"LAMNER: Code Comment Generation Using Character Language Model and Named Entity Recognition","created":"2022-04-05","cited_by_count":1,"area":null},{"id":"2212.05200","title":"Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks","created":"2022-12-10","cited_by_count":1,"area":null},{"id":"2501.14951","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","created":"2025-01-24","cited_by_count":1,"area":null},{"id":"2605.21813","title":"Symbolic Density Estimation for Discrete Distributions","created":"2026-05-20","cited_by_count":1,"area":null},{"id":"2305.18731","title":"Epistemic Graph: A Plug-And-Play Module For Hybrid Representation Learning","created":"2023-05-30","cited_by_count":0,"area":null},{"id":"2502.01806","title":"Toward Neurosymbolic Program Comprehension","created":"2025-02-03","cited_by_count":0,"area":null},{"id":"2503.02773","title":"Prime Convolutional Model: Breaking the Ground for Theoretical Explainability","created":"2025-03-04","cited_by_count":0,"area":null},{"id":"2609.31965","title":"SNIP++: Fine-Grained Symbolic-Numerical Alignment for Symbolic Regression","created":"2026-09-25","cited_by_count":0,"area":null}],"next_cursor":null}