conftrace_

Papers

9,941 papers found · incl. 1,814 awaiting a processed abstract Focus on papers with abstracts
Logically Consistent Adversarial Attacks for Soft Theorem Provers
Alexander Gaskell, Yishu Miao, Francesca Toni et al.
2022 IJCAI
2022 IJCAI
Logit Mixing Training for More Reliable and Accurate Prediction
Duhyeon Bang, Kyungjune Baek, Jiwoo Kim et al.
2022 IJCAI
2022 IJCAI
2022 IJCAI
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
Giuseppe De Giacomo, Marco Favorito, Jianwen Li et al.
2022 IJCAI
LTL on Weighted Finite Traces: Formal Foundations and Algorithms
Carmine Dodaro, Valeria Fionda, Gianluigi Greco
2022 IJCAI
Lyra: A Benchmark for Turducken-Style Code Generation
Qingyuan Liang, Zeyu Sun, Qihao Zhu et al.
2022 IJCAI
Making Sense of Raw Input (Extended Abstract)
Richard Evans, Matko Bošnjak, Lars Buesing et al.
2022 IJCAI
Manipulating Elections by Changing Voter Perceptions
Junlin Wu, Andrew Estornell, Lecheng Kong et al.
2022 IJCAI
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo
2022 IJCAI
Masked Feature Generation Network for Few-Shot Learning
Yunlong Yu, Dingyi Zhang, Zhong Ji
2022 IJCAI
Maxmin Participatory Budgeting
Gogulapati Sreedurga, Mayank Ratan Bhardwaj, Yadati Narahari
2022 IJCAI
Max-Sum with Quadtrees for Decentralized Coordination in Continuous Domains
Dimitrios Troullinos, Georgios Chalkiadakis, Vasilis Samoladas et al.
2022 IJCAI
2022 IJCAI
Mechanism Design with Predictions
Chenyang Xu, Pinyan Lu
2022 IJCAI
Membership Inference via Backdooring
Hongsheng Hu, Zoran Salčić, Gillian Dobbie et al.
2022 IJCAI
2022 IJCAI
2022 IJCAI