Papers
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach
Avoiding Discrimination through Causal Reasoning
Niki Kilbertus, Mateo Rojas Carulla, Giambattista Parascandolo et al.
A Web Interface for Diachronic Semantic Search in Spanish
Pablo Gamallo, Iván Rodríguez-Torres, Marcos Garcia
Awesome Typography: Statistics-Based Text Effects Transfer
Shuai Yang, Jiaying Liu, Zhouhui Lian et al.
A Wide-Field-Of-View Monocentric Light Field Camera
Donald G. Dansereau, Glenn Schuster, Joseph Ford et al.
A Word Embeddings Informed Focused Topic Model
He Zhao, Lan Du, Wray Buntine
Axiomatic Attribution for Deep Networks
Mukund Sundararajan, Ankur Taly, Qiqi Yan
Aye or naw, whit dae ye hink? Scottish independence and linguistic identity on social media
Philippa Shoemark, Debnil Sur, Luke Shrimpton et al.
BabelDomains: Large-Scale Domain Labeling of Lexical Resources
Jose Camacho-Collados, Roberto Navigli
Backstitch: Counteracting Finite-Sample Bias via Negative Steps
Yiming Wang, Vijayaditya Peddinti, Hainan Xu et al.
Bag of Tricks for Efficient Text Classification
Armand Joulin, Edouard Grave, Piotr Bojanowski et al.
Balancing and Step Recovery Capturability via Sums-of-Squares Optimization
Michael Posa, Twan Koolen, Russ Tedrake
Balancing information exposure in social networks
Kiran Garimella, Aristides Gionis, Nikos Parotsidis et al.
Bandits Dueling on Partially Ordered Sets
Julien Audiffren, Liva Ralaivola
Bandit Structured Prediction for Neural Sequence-to-Sequence Learning
Julia Kreutzer, Artem Sokolov, Stefan Riezler
Bandits with Movement Costs and Adaptive Pricing
Tomer Koren, Roi Livni, Yishay Mansour
Basket-Sensitive Personalized Item Recommendation
Duc-Trong Le, Hady W. Lauw, Yuan Fang
Batched High-dimensional Bayesian Optimization via Structural Kernel Learning
Zi Wang, Chengtao Li, Stefanie Jegelka et al.
Bayesian Aggregation of Categorical Distributions with Applications in Crowdsourcing
Alexandry Augustin, Matteo Venanzi, Alex Rogers et al.
Bayesian Boolean Matrix Factorisation
Tammo Rukat, Chris C. Holmes, Michalis K. Titsias et al.
Bayesian Compression for Deep Learning
Christos Louizos, Karen Ullrich, Max Welling
Bayesian Dyadic Trees and Histograms for Regression
Stéphanie van der Pas, Veronika Ročková
Bayesian Dynamic Mode Decomposition
Naoya Takeishi, Yoshinobu Kawahara, Yasuo Tabei et al.