{"total":16,"rows":[{"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":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"area":"lr"},{"id":"2202.04178","title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","created":"2022-02-07","cited_by_count":31,"area":"lr"},{"id":"2505.13138","title":"Neurosymbolic Diffusion Models","created":"2025-05-19","cited_by_count":13,"area":"lr"},{"id":"2412.07331","title":"NeSyA: Neurosymbolic Automata","created":"2024-12-10","cited_by_count":10,"area":"lr"},{"id":"2406.04472","title":"On the Hardness of Probabilistic Neurosymbolic Learning","created":"2024-06-06","cited_by_count":9,"area":"lr"},{"id":"2403.03203","title":"CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environments","created":"2024-03-05","cited_by_count":3,"area":"lr"},{"id":"2405.09521","title":"Declarative Design of Neural Predicates in Neuro-Symbolic Systems","created":"2024-05-15","cited_by_count":1,"area":"lr"},{"id":"2502.03274","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","created":"2025-02-05","cited_by_count":1,"area":"lr"},{"id":"2509.07665","title":"DeepGraphLog for Layered Neurosymbolic AI","created":"2025-09-09","cited_by_count":1,"area":"lr"},{"id":"2509.21663","title":"Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration","created":"2025-09-25","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":"2503.08762","title":"Neurosymbolic Decision Trees","created":"2025-03-11","cited_by_count":0,"area":"lr"},{"id":"2511.08581","title":"DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs","created":"2025-11-11","cited_by_count":0,"area":"lr"},{"id":"2606.00671","title":"Moxia: A Trust-First Neuro-Symbolic Execution Architecture for Self-Explaining Mathematical Reasoning","created":"2026-05-30","cited_by_count":0,"area":"lr"},{"id":"2609.00464","title":"Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective","created":"2026-08-31","cited_by_count":0,"area":"lr"}],"next_cursor":null}