{"total":103,"rows":[{"id":"2304.07438","title":"Tractable Control for Autoregressive Language Generation","created":"2023-04-15","cited_by_count":65,"area":null},{"id":"2305.19951","title":"Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts","created":"2023-05-31","cited_by_count":63,"area":null},{"id":"2212.12393","title":"A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference","created":"2022-12-23","cited_by_count":50,"area":"lr"},{"id":"2303.03226","title":"Safe Reinforcement Learning via Probabilistic Logic Shields","created":"2023-03-06","cited_by_count":42,"area":null},{"id":"2412.11427","title":"Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges","created":"2024-12-16","cited_by_count":41,"area":null},{"id":"2310.00724","title":"Subtractive Mixture Models via Squaring: Representation and Learning","created":"2023-10-01","cited_by_count":39,"area":null},{"id":"2501.05435","title":"Neuro-Symbolic AI in 2024: A Systematic Review","created":"2025-01-09","cited_by_count":38,"area":null},{"id":"2402.12240","title":"BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts","created":"2024-02-19","cited_by_count":37,"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":"2210.01941","title":"SIMPLE: A Gradient Estimator for $k$-Subset Sampling","created":"2022-10-04","cited_by_count":34,"area":null},{"id":"2302.01242","title":"Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal","created":"2023-02-02","cited_by_count":33,"area":null},{"id":"2410.10807","title":"HardNet: Hard-Constrained Neural Networks with Universal Approximation Guarantees","created":"2024-10-14","cited_by_count":31,"area":null},{"id":"2409.13724","title":"Logically Consistent Language Models via Neuro-Symbolic Integration","created":"2024-09-09","cited_by_count":30,"area":null},{"id":"2402.04823","title":"How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data","created":"2024-02-07","cited_by_count":29,"area":null},{"id":"2406.00766","title":"Scaling Tractable Probabilistic Circuits: A Systems Perspective","created":"2024-06-02","cited_by_count":23,"area":null},{"id":"2309.07742","title":"Interpretability is in the Mind of the Beholder: A Causal Framework for Human-interpretable Representation Learning","created":"2023-09-14","cited_by_count":22,"area":null},{"id":"2312.03905","title":"A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints","created":"2023-12-06","cited_by_count":22,"area":null},{"id":"2409.07953","title":"What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?","created":"2024-09-12","cited_by_count":22,"area":null},{"id":"2302.07200","title":"Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey","created":"2023-02-14","cited_by_count":21,"area":"lr"},{"id":"2408.11778","title":"Sum of Squares Circuits","created":"2024-08-21","cited_by_count":21,"area":null},{"id":"2305.15944","title":"How to Turn Your Knowledge Graph Embeddings into Generative Models","created":"2023-05-25","cited_by_count":20,"area":null},{"id":"2307.05772","title":"Random-Set Neural Networks (RS-NN)","created":"2023-07-11","cited_by_count":19,"area":null},{"id":"2406.10368","title":"A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts","created":"2024-06-14","cited_by_count":19,"area":null},{"id":"2404.08458","title":"On the Independence Assumption in Neurosymbolic Learning","created":"2024-04-12","cited_by_count":18,"area":null},{"id":"2502.18237","title":"Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints","created":"2025-02-25","cited_by_count":18,"area":null},{"id":"2410.11415","title":"KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI","created":"2024-10-15","cited_by_count":16,"area":null},{"id":"2408.00876","title":"On the Relationship Between Monotone and Squared Probabilistic Circuits","created":"2024-08-01","cited_by_count":14,"area":null},{"id":"2307.03577","title":"CuTS: Customizable Tabular Synthetic Data Generation","created":"2023-07-07","cited_by_count":13,"area":null},{"id":"2502.11245","title":"Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens","created":"2025-02-16","cited_by_count":13,"area":null},{"id":"2302.14207","title":"Semantic Strengthening of Neuro-Symbolic Learning","created":"2023-02-28","cited_by_count":12,"area":null},{"id":"2402.00759","title":"Building Expressive and Tractable Probabilistic Generative Models: A Review","created":"2024-02-01","cited_by_count":12,"area":null},{"id":"2206.04976","title":"Refining neural network predictions using background knowledge","created":"2022-06-10","cited_by_count":11,"area":null},{"id":"2410.13111","title":"Controllable Generation via Locally Constrained Resampling","created":"2024-10-17","cited_by_count":11,"area":null},{"id":"2503.19466","title":"A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction","created":"2025-03-25","cited_by_count":11,"area":null},{"id":"2403.00329","title":"Learning with Logical Constraints but without Shortcut Satisfaction","created":"2024-03-01","cited_by_count":10,"area":null},{"id":"2411.04383","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","created":"2024-11-07","cited_by_count":10,"area":null},{"id":"2412.05481","title":"A Compositional Atlas for Algebraic Circuits","created":"2024-12-07","cited_by_count":10,"area":null},{"id":"2311.13718","title":"A Unified Approach to Count-Based Weakly-Supervised Learning","created":"2023-11-22","cited_by_count":9,"area":null},{"id":"2403.11348","title":"COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits","created":"2024-03-17","cited_by_count":9,"area":null},{"id":"2405.00532","title":"ULLER: A Unified Language for Learning and Reasoning","created":"2024-05-01","cited_by_count":9,"area":null},{"id":"2406.04472","title":"On the Hardness of Probabilistic Neurosymbolic Learning","created":"2024-06-06","cited_by_count":9,"area":"lr"},{"id":"2506.12383","title":"Scaling Probabilistic Circuits via Monarch Matrices","created":"2025-06-14","cited_by_count":9,"area":null},{"id":"2511.11346","title":"Fast and Expressive Multi-Byte Prediction with Probabilistic Circuits","created":"2025-11-14","cited_by_count":9,"area":null},{"id":"2304.03674","title":"Machine Learning with Requirements: a Manifesto","created":"2023-04-07","cited_by_count":8,"area":null},{"id":"2312.07790","title":"Characteristic Circuits","created":"2023-12-12","cited_by_count":8,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2302.12130","title":"Bayesian Structure Scores for Probabilistic Circuits","created":"2023-02-23","cited_by_count":7,"area":null},{"id":"2407.15192","title":"Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge","created":"2024-07-21","cited_by_count":7,"area":null},{"id":"2411.12256","title":"Restructuring Tractable Probabilistic Circuits","created":"2024-11-19","cited_by_count":7,"area":null},{"id":"2509.01398","title":"The Need for Verification in AI-Driven Scientific Discovery","created":"2025-09-01","cited_by_count":7,"area":null},{"id":"2306.09686","title":"Collapsed Inference for Bayesian Deep Learning","created":"2023-06-16","cited_by_count":6,"area":null},{"id":"2408.08133","title":"EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic","created":"2024-08-15","cited_by_count":6,"area":null},{"id":"2501.07021","title":"Neural Probabilistic Circuits: Enabling Compositional and Interpretable Predictions through Logical Reasoning","created":"2025-01-13","cited_by_count":6,"area":"lr"},{"id":"2412.17696","title":"Understanding the Logic of Direct Preference Alignment through Logic","created":"2024-12-23","cited_by_count":5,"area":"alignment"},{"id":"2508.13697","title":"The DeepLog Neurosymbolic Machine","created":"2025-08-19","cited_by_count":5,"area":null},{"id":"2512.17090","title":"How to Square Tensor Networks and Circuits Without Squaring Them","created":"2025-12-18","cited_by_count":5,"area":null},{"id":"2402.11362","title":"Exploiting T-norms for Deep Learning in Autonomous Driving","created":"2024-02-17","cited_by_count":4,"area":null},{"id":"2505.01954","title":"Semantic Probabilistic Control of Language Models","created":"2025-05-04","cited_by_count":4,"area":null},{"id":"2505.11932","title":"Neuro-Symbolic Query Compiler","created":"2025-05-17","cited_by_count":4,"area":"rag"},{"id":"2507.04385","title":"Tractable Representation Learning with Probabilistic Circuits","created":"2025-07-06","cited_by_count":4,"area":null},{"id":"2309.15458","title":"LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints","created":"2023-09-27","cited_by_count":3,"area":null},{"id":"2402.08790","title":"Improving Molecule Generation and Drug Discovery with a Knowledge-enhanced Generative Model","created":"2024-02-13","cited_by_count":3,"area":null},{"id":"2405.07387","title":"Semantic Loss Functions for Neuro-Symbolic Structured Prediction","created":"2024-05-12","cited_by_count":3,"area":null},{"id":"2405.14389","title":"stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic","created":"2024-05-23","cited_by_count":3,"area":null},{"id":"2408.07394","title":"Sum-Product-Set Networks: Deep Tractable Models for Tree-Structured Graphs","created":"2024-08-14","cited_by_count":3,"area":null},{"id":"2506.09701","title":"ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search","created":"2025-06-11","cited_by_count":3,"area":null},{"id":"2508.05537","title":"Tractable Sharpness-Aware Learning of Probabilistic Circuits","created":"2025-08-07","cited_by_count":3,"area":null},{"id":"2510.25497","title":"Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI","created":"2025-10-29","cited_by_count":3,"area":"lr"},{"id":"2601.14894","title":"To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits","created":"2026-01-21","cited_by_count":3,"area":null},{"id":"2402.13019","title":"Improving Neural-based Classification with Logical Background Knowledge","created":"2024-02-20","cited_by_count":2,"area":"lr"},{"id":"2402.18285","title":"PiShield: A PyTorch Package for Learning with Requirements","created":"2024-02-28","cited_by_count":2,"area":null},{"id":"2412.07883","title":"On Faster Marginalization with Squared Circuits via Orthonormalization","created":"2024-12-10","cited_by_count":2,"area":null},{"id":"2506.12020","title":"The Limits of Tractable Marginalization","created":"2025-04-17","cited_by_count":2,"area":null},{"id":"2507.21873","title":"A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data","created":"2025-07-29","cited_by_count":2,"area":null},{"id":"2401.09651","title":"Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning","created":"2024-01-17","cited_by_count":1,"area":null},{"id":"2501.13748","title":"Exact Soft Analytical Side-Channel Attacks using Tractable Circuits","created":"2025-01-23","cited_by_count":1,"area":null},{"id":"2502.05416","title":"Deep Generative Models with Hard Linear Equality Constraints","created":"2025-02-08","cited_by_count":1,"area":null},{"id":"2503.12162","title":"Probabilistic Graph Circuits: Deep Generative Models for Tractable Probabilistic Inference over Graphs","created":"2025-03-15","cited_by_count":1,"area":null},{"id":"2505.00466","title":"A General Framework for Property-Driven Machine Learning","created":"2025-05-01","cited_by_count":1,"area":null},{"id":"2506.17776","title":"Machine Learning Model Integration with Open World Temporal Logic for Process Automation","created":"2025-06-21","cited_by_count":1,"area":null},{"id":"2509.20549","title":"Understanding and Improving Adversarial Robustness of Neural Probabilistic Circuits","created":"2025-09-24","cited_by_count":1,"area":null},{"id":"2602.07973","title":"On Improving Neurosymbolic Learning by Exploiting the Representation Space","created":"2026-02-08","cited_by_count":1,"area":null},{"id":"2603.23016","title":"A Sobering Look at Tabular Data Generation via Probabilistic Circuits","created":"2026-03-24","cited_by_count":1,"area":null},{"id":"2605.16383","title":"A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification","created":"2026-05-11","cited_by_count":1,"area":null},{"id":"2605.18202","title":"Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models","created":"2026-05-18","cited_by_count":1,"area":"lr"},{"id":"2609.13520","title":"From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models","created":"2026-09-11","cited_by_count":1,"area":"lr"},{"id":"2404.08404","title":"A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques","created":"2024-04-12","cited_by_count":0,"area":"lr"},{"id":"2406.00133","title":"Streamflow Prediction with Uncertainty Quantification for Water Management: A Constrained Reasoning and Learning Approach","created":"2024-05-31","cited_by_count":0,"area":null},{"id":"2505.05880","title":"Combining Abstract Argumentation and Machine Learning for Efficiently Analyzing Low-Level Process Event Streams","created":"2025-05-09","cited_by_count":0,"area":null},{"id":"2508.06706","title":"Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets","created":"2025-08-08","cited_by_count":0,"area":null},{"id":"2508.16524","title":"Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning","created":"2025-08-22","cited_by_count":0,"area":"lr"},{"id":"2601.20784","title":"REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence","created":"2026-01-28","cited_by_count":0,"area":"lr"},{"id":"2603.23867","title":"Can VLMs Reason Robustly? A Neuro-Symbolic Investigation","created":"2026-03-25","cited_by_count":0,"area":"lr"},{"id":"2605.13845","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2606.14463","title":"EM-NeSy: Expectation Maximization for Neurosymbolic Learning","created":"2026-06-12","cited_by_count":0,"area":"lr"},{"id":"2607.19126","title":"Parallel Noising in Neural Markov Logic Networks","created":"2026-07-21","cited_by_count":0,"area":"diffusion"},{"id":"2607.20483","title":"Tractable Hierarchical Control of Autoregressive Language Models","created":"2026-06-01","cited_by_count":0,"area":null},{"id":"2608.17741","title":"Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits","created":"2026-08-18","cited_by_count":0,"area":null},{"id":"2608.21605","title":"Generate in the Chart, Not on the Boundary: Function-Symbol Grounding for Hard Constraints in LTN-GANs","created":"2026-08-21","cited_by_count":0,"area":null},{"id":"2609.09370","title":"Constraint-Aware Discrete Black-Box Optimization Using Tensor Decomposition","created":"2026-09-08","cited_by_count":0,"area":null}],"next_cursor":"100"}