{"list":"other","total":54,"rows":[{"id":"1409.0575","title":"ImageNet Large Scale Visual Recognition Challenge","created":"2014-09-01","cited_by_count":8498},{"id":"1509.02971","title":"Continuous control with deep reinforcement learning","created":"2015-09-09","cited_by_count":3407},{"id":"1612.03975","title":"ConceptNet 5.5: An Open Multilingual Graph of General Knowledge","created":"2016-12-12","cited_by_count":1067},{"id":"1705.10528","title":"Constrained Policy Optimization","created":"2017-05-30","cited_by_count":983},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"2003.00982","title":"Benchmarking Graph Neural Networks","created":"2020-03-02","cited_by_count":680},{"id":"1711.00851","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","created":"2017-11-02","cited_by_count":567},{"id":"1708.08611","title":"Safe Reinforcement Learning via Shielding","created":"2017-08-29","cited_by_count":449},{"id":"1907.08194","title":"Neural Probabilistic Logic Programming in DeepProbLog","created":"2019-07-18","cited_by_count":394},{"id":"1904.12584","title":"The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision","created":"2019-04-26","cited_by_count":372},{"id":"1705.06640","title":"DeepXplore: Automated Whitebox Testing of Deep Learning Systems","created":"2017-05-18","cited_by_count":311},{"id":"1801.09344","title":"Certified Defenses against Adversarial Examples","created":"2018-01-29","cited_by_count":306},{"id":"1912.01412","title":"Deep Learning for Symbolic Mathematics","created":"2019-12-02","cited_by_count":270},{"id":"1705.09064","title":"MagNet: a Two-Pronged Defense against Adversarial Examples","created":"2017-05-25","cited_by_count":269},{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"2012.05876","title":"Neurosymbolic AI: The 3rd Wave","created":"2020-12-10","cited_by_count":255},{"id":"1705.01320","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","created":"2017-05-03","cited_by_count":242},{"id":"1906.10742","title":"Machine Learning Testing: Survey, Landscapes and Horizons","created":"2019-06-19","cited_by_count":218},{"id":"1711.03902","title":"Neural-Symbolic Learning and Reasoning: A Survey and Interpretation","created":"2017-11-10","cited_by_count":196},{"id":"1804.10829","title":"Formal Security Analysis of Neural Networks using Symbolic Intervals","created":"2018-04-28","cited_by_count":185},{"id":"2205.10330","title":"A Review of Safe Reinforcement Learning: Methods, Theory and Applications","created":"2022-05-20","cited_by_count":181},{"id":"1805.08328","title":"Verifiable Reinforcement Learning via Policy Extraction","created":"2018-05-22","cited_by_count":177},{"id":"1803.08035","title":"Zero-shot Recognition via Semantic Embeddings and Knowledge Graphs","created":"2018-03-21","cited_by_count":155},{"id":"1706.07351","title":"An approach to reachability analysis for feed-forward ReLU neural networks","created":"2017-06-22","cited_by_count":127},{"id":"1705.01040","title":"Maximum Resilience of Artificial Neural Networks","created":"2017-04-28","cited_by_count":97},{"id":"1805.02242","title":"Reachability Analysis of Deep Neural Networks with Provable Guarantees","created":"2018-05-06","cited_by_count":93},{"id":"1708.03322","title":"Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks","created":"2017-08-09","cited_by_count":80},{"id":"1709.06662","title":"Verifying Properties of Binarized Deep Neural Networks","created":"2017-09-19","cited_by_count":79},{"id":"1807.10875","title":"TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing","created":"2018-07-28","cited_by_count":68},{"id":"1901.02875","title":"Learning to Infer and Execute 3D Shape Programs","created":"2019-01-09","cited_by_count":68},{"id":"1808.09413","title":"DLFuzz: Differential Fuzzing Testing of Deep Learning Systems","created":"2018-08-28","cited_by_count":65},{"id":"1906.12269","title":"Certifiable Robustness and Robust Training for Graph Convolutional Networks","created":"2019-06-28","cited_by_count":59},{"id":"2108.13643","title":"Learning to Synthesize Programs as Interpretable and Generalizable Policies","created":"2021-08-31","cited_by_count":59},{"id":"2105.05330","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","created":"2021-05-11","cited_by_count":54},{"id":"1710.07859","title":"Feature-Guided Black-Box Safety Testing of Deep Neural Networks","created":"2017-10-21","cited_by_count":49},{"id":"2009.12612","title":"Neurosymbolic Reinforcement Learning with Formally Verified Exploration","created":"2020-09-26","cited_by_count":49},{"id":"1812.02257","title":"On Testing Machine Learning Programs","created":"2018-12-05","cited_by_count":48},{"id":"2112.00639","title":"A Systematic Review of Robustness in Deep Learning for Computer Vision: Mind the gap?","created":"2021-12-01","cited_by_count":48},{"id":"2111.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39},{"id":"2202.12205","title":"Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review","created":"2022-02-24","cited_by_count":38},{"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},{"id":"1605.06640","title":"Programming with a Differentiable Forth Interpreter","created":"2016-05-21","cited_by_count":33},{"id":"1807.03571","title":"A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees","created":"2018-07-10","cited_by_count":33},{"id":"1808.05353","title":"Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing","created":"2018-08-16","cited_by_count":31},{"id":"1709.09130","title":"Output Range Analysis for Deep Neural Networks","created":"2017-09-26","cited_by_count":30},{"id":"2309.01038","title":"Neurosymbolic Reinforcement Learning and Planning: A Survey","created":"2023-09-02","cited_by_count":24},{"id":"2109.06133","title":"Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization","created":"2021-09-13","cited_by_count":22},{"id":"2305.08876","title":"Neurosymbolic AI and its Taxonomy: a survey","created":"2023-05-12","cited_by_count":6},{"id":"1601.02745","title":"Basic Reasoning with Tensor Product Representations","created":"2016-01-12","cited_by_count":4},{"id":"1810.13223","title":"SURFACE: Semantically Rich Fact Validation with Explanations","created":"2018-10-31","cited_by_count":4},{"id":"2005.01389","title":"Knowledge Graph Validation","created":"2020-05-04","cited_by_count":4},{"id":"2307.08411","title":"Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs","created":"2023-07-17","cited_by_count":4},{"id":"2308.11189","title":"Diversity Measures: Domain-Independent Proxies for Failure in Language Model Queries","created":"2023-08-22","cited_by_count":4},{"id":"2303.06151","title":"NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks","created":"2023-03-09","cited_by_count":2}],"next_cursor":null}