conftrace_

Papers

20,003 papers found · 10 more still awaiting a processed abstract Show those too
Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
2023 AAAI
Automated Verification of Social Laws in Numeric Settings
Ronen Nir, Alexander Shleyfman, Erez Karpas
2023 AAAI
Automatically Verifying Expressive Epistemic Properties of Programs
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone et al.
2023 AAAI
AutoSTL: Automated Spatio-Temporal Multi-Task Learning
Zijian Zhang, Xiangyu Zhao, Hao Miao et al.
2023 AAAI
Auto-Weighted Multi-View Clustering for Large-Scale Data
Xinhang Wan, Xinwang Liu, Jiyuan Liu et al.
2023 AAAI
2023 AAAI
2023 AAAI
Backforward Propagation (Student Abstract)
George Stoica, Cristian Simionescu
2023 AAAI
2023 AAAI
Backpropagation-Free Deep Learning with Recursive Local Representation Alignment
Alexander G. Ororbia, Ankur Mali, Daniel Kifer et al.
2023 AAAI
2023 AAAI
Balanced Column-Wise Block Pruning for Maximizing GPU Parallelism
Cheonjun Park, Mincheol Park, Hyun Jae Oh et al.
2023 AAAI
Ballot Length in Instant Runoff Voting
Kiran Tomlinson, Johan Ugander, Jon Kleinberg
2023 AAAI