conftrace_

Papers

20,003 papers found · 10 more still awaiting a processed abstract Show those too
2023 AAAI
Formalising the Robustness of Counterfactual Explanations for Neural Networks
Junqi Jiang, Francesco Leofante, Antonio Rago et al.
2023 AAAI
Formally Verified SAT-Based AI Planning
Mohammad Abdulaziz, Friedrich Kurz
2023 AAAI
Formally Verified Solution Methods for Markov Decision Processes
Maximilian Schäffeler, Mohammad Abdulaziz
2023 AAAI
Formal Verification of Bayesian Mechanisms
Munyque Mittelmann, Bastien Maubert, Aniello Murano et al.
2023 AAAI
Foundation Model for Material Science
Seiji Takeda, Akihiro Kishimoto, Lisa Hamada et al.
2023 AAAI
Foundations of Cooperative AI
Vincent Conitzer, Caspar Oesterheld
2023 AAAI
2023 AAAI
FreeEnricher: Enriching Face Landmarks without Additional Cost
Yangyu Huang, Xi Chen, Jongyoo Kim et al.
2023 AAAI
2023 AAAI
Frequency Selective Augmentation for Video Representation Learning
Jinhyung Kim, Taeoh Kim, Minho Shim et al.
2023 AAAI
Frido: Feature Pyramid Diffusion for Complex Scene Image Synthesis
Wan-Cyuan Fan, Yen-Chun Chen, DongDong Chen et al.
2023 AAAI
From Monopoly to Competition: Optimal Contests Prevail
Xiaotie Deng, Yotam Gafni, Ron Lavi et al.
2023 AAAI
2023 AAAI
Frustratingly Easy Truth Discovery
Reshef Meir, Ofra Amir, Omer Ben-Porat et al.
2023 AAAI