Papers
Stabilizing Policy Gradient Methods via Reward Profiling
Shihab Ahmed, El Houcine Bergou, Yue Wang et al.
RefiDiff: Progressive Refinement Diffusion for Efficient Missing Data Imputation
Md Atik Ahamed, Qiang Ye, Qiang Cheng
ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
Rik Adriaensen, Lucas Van Praet, Jessa Bekker et al.
Expressive Temporal Specifications for Reward Monitoring
Omar Adalat, Francesco Belardinelli
Constrained Online Convex Optimization with Memory and Predictions
Mohammed Abdullah, George Iosifidis, Salah Eddine Elayoubi et al.
DOS: Distilling Observable Softmaps of Zipfian Prototypes for Self-Supervised Point Representation
Mohamed Abdelsamad, Michael Ulrich, Bin Yang et al.
Automatic Channel Pruning by Searching with Structure Embedding for Hash Network
Zifan Liu, Yuan Cao, Yifan Sun et al.
EfficientFlow: Efficient Equivariant Flow Policy Learning for Embodied AI
Jianlei Chang, Ruofeng Mei, Wei Ke et al.
FedGRPO: Privately Optimizing Foundation Models with Group-Relative Rewards from Domain Clients
Gongxi Zhu, Hanlin Gu, Lixin Fan et al.
AgentODRL: A Large Language Model-based Multi-agent System for ODRL Generation
Wanle Zhong, Keman Huang, Xiaoyong Du
Incremental Maintenance of DatalogMTL Materialisations
Kaiyue Zhao, Dingqi Chen, Shaoyu Wang et al.
Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
Yingji Zhang, Marco Valentino, Danilo Carvalho et al.
Counterfactual Question Generation Uncovering Learner Contradictions
Bo Zhang, Hao Yu, Wenjie Dong et al.
SpatialLogic-Bench: A Diagnostic Benchmark for Task-Oriented Spatiotemporal Reasoning
Xiaoda Yang, Shenzhou Gao, Can Wang et al.
Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-Based Test Oracles
Zihao Xu, Junchen Ding, Yiling Lou et al.
Encode Geometric Diagram as Geo-Graph in Geometry Problem Solving
Wenjun Wu, Lingling Zhang, Bo Zhao et al.
Convergent Semantics for Weighted Bipolar Argumentation
Zongshun Wang, Yuping Shen
A Knowledge Compilation Map for Quantum Information
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
A Robust Unlearning Method with Adaptive Knowledge Guidance and Memory Preservation
Jingyuan Tian, Xiaofei Zhou
Delphi: A Neuro-Symbolic Framework for Individualized, Safe and Interpretable Treatment Recommendation
Muchan Tao, Haonan Qin, Yuqi Fang et al.
HierSearch: A Hierarchical Enterprise Deep Search Framework Integrating Local and Web Searches
Jiejun Tan, Zhicheng Dou, Yan Yu et al.
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
Michał Sochański, Przemysław Andrzej Wałęga, Michał Zawidzki
EchoEdit: Consistent Multi-Hop Question Answering via Ripple Control in Knowledge Editing
Jinwei Shi, Wenxuan Huang, Yu Xing et al.
Truth-Tracking Evaluation in Opinion-Based Argumentation
Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny et al.
Aligning Cross-View Visual Geometries in LVLMs Through Human-Like Reasoning Learning
Yuming Qiao, Liang Luo, Dan Meng et al.