| A Complexity-Theoretic Analysis of Majority Illusion in Social Networks |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| A Divide, Align and Conquer Strategy For Program Synthesis |
✅ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
6 |
| A Framework for Belief-based Programs and Their Verification |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures |
❌ |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| A New Literature Review of 3D Object Detection on Autonomous Driving |
❌ |
❌ |
✅ |
✅ |
❌ |
❌ |
❌ |
2 |
| A New Regret-analysis Framework for Budgeted Multi-Armed Bandits |
✅ |
❌ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| A Portfolio Approach to Massively Parallel Bayesian Optimization |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
7 |
| A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| A Selective Under-Sampling (SUS) Method for Imbalanced Regression |
✅ |
❌ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| A Survey on Data Selection for LLM Instruction Tuning |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| A Unifying Framework for Causal Modeling With Infinitely Many Variables |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| AI Governance in the GCC States: A Comparative Analysis of National AI Strategies |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
2 |
| AI Reliance and Decision Quality: Fundamentals, Interdependence, and the Effects of Interventions |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| AI for All: Identifying AI incidents Related to Diversity and Inclusion |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
2 |
| Adaptive Few-Shot Class-Incremental Learning via Latent Variable Models |
✅ |
❌ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| Against The Achilles' Heel: A Survey on Red Teaming for Generative Models |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Agentic Large Language Models, a Survey |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| An MRP Formulation for Supervised Learning: Generalized Temporal Difference Learning Models |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
6 |
| An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Approximate Implication for Probabilistic Graphical Models |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Argumentative Reasoning in ASPIC+ under Incomplete Information |
✅ |
✅ |
❌ |
❌ |
✅ |
✅ |
✅ |
5 |
| Banal Deception and Human-AI Ecosystems: A Study of People’s Perceptions of LLM-generated Deceptive Behaviour |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization |
❌ |
✅ |
✅ |
❌ |
❌ |
❌ |
❌ |
2 |
| CPM-based Hierarchical Text Classification |
❌ |
❌ |
✅ |
✅ |
✅ |
❌ |
✅ |
4 |
| Causal Explanations for Sequential Decision Making |
✅ |
❌ |
✅ |
❌ |
✅ |
❌ |
❌ |
3 |
| Causal Graphs and Fairness in Machine Learning: Addressing Practical Challenges in Causal Fairness Evaluation |
✅ |
✅ |
✅ |
❌ |
❌ |
❌ |
❌ |
3 |
| Certified Knowledge Compilation with Application to Formally Verified Model Counting |
❌ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
4 |
| CluMo: Cluster-based Modality Fusion Prompt for Continual Learning in Visual Question Answering |
✅ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
6 |
| Collective Intelligence in Decision-Making with Non-Stationary Experts |
✅ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
5 |
| Combinatorial Multi-Armed Bandits with Fairness Constraints: An Online Convex Optimization Perspective |
✅ |
❌ |
✅ |
❌ |
✅ |
❌ |
✅ |
4 |
| Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement |
❌ |
❌ |
✅ |
❌ |
✅ |
✅ |
✅ |
4 |
| Composition and Zero-Shot Transfer with Lattice Structures in Reinforcement Learning |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Computational Machine Ethics: A Survey |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| ConSCompF: Consistency-focused Similarity Comparison Framework for Generative Large Language Models |
❌ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
3 |
| Conditional Relative Frequency Distributions with Undefined Observations and Generalized Fuzzy Orthopartitions |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Confidence-based Estimators for Predictive Performance in Model Monitoring |
❌ |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
2 |
| Control by Adding or Deleting Edges in Graph-Restricted Weighted Voting Games |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Correct Explanations and How to Define Them: Properties and Metrics for Measuring Correctness of Three Forms of ML Model Input/Output Behaviour Explanations |
❌ |
❌ |
✅ |
✅ |
❌ |
✅ |
✅ |
4 |
| Counterfactual Situation Testing: From Single to Multidimensional Discrimination |
✅ |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
4 |
| DSAC: Distributional Soft Actor-Critic for Risk-Sensitive Reinforcement Learning |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Data Augmentation for Time-Series Classification: An Extensive Empirical Study and Comprehensive Survey |
❌ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
4 |
| Decentralized, Decomposition-Based Observation Scheduling for a Large-Scale Satellite Constellation |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Defensive Alliances in Signed Networks |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Design and Effects of Co-Learning in Human-AI Teams |
❌ |
❌ |
❌ |
❌ |
❌ |
✅ |
✅ |
2 |
| Detecting AI-Generated Text: Factors Influencing Detectability with Current Methods |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Detecting Generative Model Inversion Attacks for Protecting Intellectual Property of Deep Neural Networks |
✅ |
❌ |
✅ |
✅ |
✅ |
❌ |
❌ |
4 |
| EPINN: Enhanced Physics-Informed Neural Network for Solving Continuous Integral Equations |
✅ |
❌ |
❌ |
❌ |
✅ |
✅ |
✅ |
4 |
| Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Efficient XAI: A Low-Cost Data Reduction Approach to SHAP Interpretability |
❌ |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
1 |
| Empirical Game Theoretic Analysis: A Survey |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
✅ |
2 |
| Enhanced Recommendation Systems with Retrieval-Augmented Large Language Model |
✅ |
❌ |
✅ |
❌ |
❌ |
✅ |
✅ |
4 |
| Existence, Computation and Efficiency of Nash Stable Outcomes in Hedonic Skill Games |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Explainability via Short Formulas: the Case of Propositional Logic with Implementation |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
✅ |
6 |
| Finding Minimal Plan Reductions Using Classical Planning |
✅ |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
4 |
| Forgetting in Abstract Argumentation: Limits and Possibilities |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| From Expert Systems to Generative Artificial Experts: A New Concept for Human-AI Collaboration in Knowledge Work |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| From Knowledge to Action: Logics of Permitted and Obligatory Announcements |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Generalizing the Regret: an Analysis of Lower and Upper Bounds |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Generating Streamlining Constraints with Large Language Models |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
7 |
| Generative Curricula for Multi-Agent Path Finding via Unsupervised and Reinforcement Learning |
✅ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
6 |
| Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
7 |
| Graph Collaborative Filtering Model Combining Time Factor and Attention Mechanism |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
2 |
| Implicit Safe Set Algorithm for Provably Safe Reinforcement Learning |
✅ |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
4 |
| Improved Regret Bounds for Bandits with Expert Advice |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Improving Label Error Detection and Elimination with Uncertainty Quantification |
❌ |
❌ |
✅ |
✅ |
✅ |
❌ |
✅ |
4 |
| Improving Local Search Algorithm for Pseudo Boolean Optimization |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
✅ |
6 |
| Improving Mutual Information Based Feature Selection by Boosting Unique Relevance |
✅ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
5 |
| Improving and Understanding the Power of Satisfaction-Driven Clause Learning |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Incremental Learning Methodologies for Addressing Catastrophic Forgetting: Analysis and Experimental Evaluation |
❌ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| Invariant Graph Propagation in Constraint-Based Local Search |
✅ |
✅ |
❌ |
❌ |
✅ |
✅ |
✅ |
5 |
| LabelCoRank: Revolutionizing Long Tail Multi-Label Classification with Co-Occurrence Reranking |
❌ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| Laplace-HDC: Understanding the Geometry of Binary Hyperdimensional Computing |
✅ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
5 |
| Learning How to Vote with Principles: Axiomatic Insights Into the Collective Decisions of Neural Networks |
❌ |
✅ |
❌ |
✅ |
✅ |
❌ |
✅ |
4 |
| MA-LAMA: Exploiting the Multi-Agent Nature of Temporal Planning Problems |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| MAT2I: Enhancing Perceptual Authenticity in Text-to-Image Synthesis using Multi-Attribute Generative Adversarial Networks |
❌ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
3 |
| MRC and Transfer Learning Framework for Document-level Event Factuality Identification with Heterogeneous Spectral Attention Networks |
✅ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
4 |
| Maximal Combinations of Fairness Definitions |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks |
✅ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
5 |
| Monitoring Teams of AI Agents |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Multi-Leader Congestion Games with an Adversary |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| On CNF Conversion for SAT and SMT Enumeration |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| On Computing Probabilistic Explanations for Decision Trees |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| On a Simple Hedonic Game with Graph-Restricted Communication |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| On the Consistency between Belief Revision and Belief Update |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| On the Equivalence between Logic Programs and Bipolar Argumentation Frameworks |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| On the Phase Transition of the Euclidean Travelling Salesman Problem with Time Windows |
❌ |
✅ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| Optimal Decision Trees for Interpretable and Constrained Clustering |
✅ |
❌ |
✅ |
❌ |
✅ |
✅ |
✅ |
5 |
| Optimizing Relevance and Diversity in Online Matching Markets: A Time-Adaptive Attenuation Approach |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime |
❌ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
4 |
| Parameterized Analysis of Bribery in Challenge the Champ Tournaments |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Path-Planning on a Spherical Surface with Disturbances and Exclusion Zones |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Policy-based Primal-Dual Methods for Concave CMDP with Variance Reduction |
✅ |
✅ |
❌ |
❌ |
❌ |
❌ |
✅ |
3 |
| Practical Parallel Algorithms for Non-Monotone Submodular Maximization |
✅ |
❌ |
✅ |
❌ |
✅ |
❌ |
✅ |
4 |
| Preference Tuning with Human Feedback on Language, Speech, and Vision Tasks: A Survey |
✅ |
✅ |
✅ |
❌ |
❌ |
❌ |
❌ |
3 |
| Principles for Assumptions Generation in Enthymeme-Based Dialogue |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Principles for Responsible AI Consciousness Research |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Prioritised Planning: Completeness, Optimality, and Complexity |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
❌ |
5 |
| Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification |
✅ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
6 |
| Promoting the Responsible Development of Speech Datasets for Mental Health and Neurological Disorders Research |
❌ |
✅ |
✅ |
❌ |
❌ |
❌ |
❌ |
2 |
| Prosociality in Microtransit |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
✅ |
1 |
| Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies |
✅ |
✅ |
❌ |
❌ |
✅ |
❌ |
❌ |
3 |
| Reasoning over Streams of Events with Delayed Effects |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Recency-Weighted Temporally-Segmented Ensemble for Time Series Modeling |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
6 |
| Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
2 |
| Regret Analysis for Randomized Gaussian Process Upper Confidence Bound |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Robust Reward Design for Markov Decision Processes |
❌ |
✅ |
❌ |
❌ |
✅ |
✅ |
✅ |
4 |
| Robustness Distributions in Neural Network Verification |
❌ |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
6 |
| Rumor Detection with Adaptive Data Augmentation and Adversarial Training |
✅ |
❌ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis |
❌ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
4 |
| Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Semantic Alignment of Malicious Question Based on Contrastive Semantic Networks and Data Augmentation |
✅ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
6 |
| Solving Overlapping Coalition Structure Generation in Task-Based Settings |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Spatio-Causal Patterns of Sample Growth |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Stability in Online Coalition Formation |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
✅ |
2 |
| Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
✅ |
6 |
| TOMA: Computational Theory of Mind with Abstractions for Hybrid Intelligence |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models |
❌ |
✅ |
✅ |
❌ |
✅ |
✅ |
✅ |
5 |
| The Complexity of Pure Maxmin Strategies in Two-Player Extensive-Form Games |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| The Fixed-Point Semantics of Relational Concept Analysis |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| The Search for Stability: Learning Dynamics of Strategic Publishers with Initial Documents |
✅ |
✅ |
❌ |
❌ |
❌ |
❌ |
✅ |
3 |
| Thousands of AI Authors on the Future of AI |
❌ |
❌ |
✅ |
❌ |
❌ |
✅ |
❌ |
2 |
| Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
2 |
| Towards Generalist Robot Learning from Internet Video: A Survey |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Towards a Robust Persistence Diagram via Data-dependent Kernel |
❌ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| Towards an Ontology-Driven Approach to Document Bias |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Trustworthy Transfer Learning: A Survey |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Value Preferences Estimation and Disambiguation in Hybrid Participatory Systems |
✅ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
5 |
| Viewpoint: The Future of Human-Centric Explainable Artificial Intelligence (XAI) is not Post-Hoc Explanations |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |