{"total":14,"rows":[{"id":"2410.11415","title":"KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI","created":"2024-10-15","cited_by_count":16,"area":null},{"id":"2502.15620","title":"Paradigms of AI Evaluation: Mapping Goals, Methodologies and Culture","created":"2025-02-21","cited_by_count":11,"area":null},{"id":"2505.06191","title":"Building Intelligent Agents with Neuro-Symbolic Concepts","created":"2025-05-09","cited_by_count":10,"area":null},{"id":"2410.10460","title":"Compositional Shielding and Reinforcement Learning for Multi-Agent Systems","created":"2024-10-14","cited_by_count":8,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2402.13782","title":"Semirings for Probabilistic and Neuro-Symbolic Logic Programming","created":"2024-02-21","cited_by_count":6,"area":null},{"id":"2603.03177","title":"Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era","created":"2026-03-03","cited_by_count":2,"area":null},{"id":"2605.10888","title":"Shields to Guarantee Probabilistic Safety in MDPs","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2411.04867","title":"Think Smart, Act SMARL! Analyzing Probabilistic Logic Shields for Multi-Agent Reinforcement Learning","created":"2024-11-07","cited_by_count":1,"area":null},{"id":"2505.14689","title":"Follow the STARs: Dynamic $\\omega$-Regular Shielding of Learned Policies","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2505.22104","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","created":"2025-05-28","cited_by_count":0,"area":null},{"id":"2510.22883","title":"Exploring Structures of Inferential Mechanisms through Simplistic Digital Circuits","created":"2025-10-27","cited_by_count":0,"area":null},{"id":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","cited_by_count":0,"area":null},{"id":"2605.24926","title":"Energy Shields for Fairness","created":"2026-05-24","cited_by_count":0,"area":null}],"next_cursor":null}