{"total":30,"rows":[{"id":"2310.04363","title":"Amortizing intractable inference in large language models","created":"2023-10-06","cited_by_count":97,"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":"2305.17010","title":"Let the Flows Tell: Solving Graph Combinatorial Optimization Problems with GFlowNets","created":"2023-05-26","cited_by_count":40,"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":"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":"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.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":"2310.03419","title":"Pre-Training and Fine-Tuning Generative Flow Networks","created":"2023-10-05","cited_by_count":17,"area":null},{"id":"2411.03753","title":"Symbolic regression via MDLformer-guided search: from minimizing prediction error to minimizing description length","created":"2024-11-06","cited_by_count":17,"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":"2411.04383","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","created":"2024-11-07","cited_by_count":10,"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.01124","title":"Latent Logic Tree Extraction for Event Sequence Explanation from LLMs","created":"2024-06-03","cited_by_count":9,"area":null},{"id":"2310.02779","title":"Expected flow networks in stochastic environments and two-player zero-sum games","created":"2023-10-04","cited_by_count":7,"area":null},{"id":"2406.06246","title":"Data-Efficient Learning with Neural Programs","created":"2024-06-10","cited_by_count":7,"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":"2508.13697","title":"The DeepLog Neurosymbolic Machine","created":"2025-08-19","cited_by_count":5,"area":null},{"id":"2410.12389","title":"A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic","created":"2024-10-16","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":"2402.18285","title":"PiShield: A PyTorch Package for Learning with Requirements","created":"2024-02-28","cited_by_count":2,"area":null},{"id":"2503.01817","title":"Gradient-Based Optimization on G\\\"odel Logic as Discrete Local Search","created":"2025-03-03","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":"2503.24123","title":"CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning","created":"2025-03-31","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":"2606.19279","title":"NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning","created":"2026-06-17","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}],"next_cursor":null}