Explore the latest research from Facebook

All Publications

December 13, 2021 Yangyang Xia, Buye Xu, Anurag Kumar
Paper

Incorporating Real-world Noisy Speech in Neural-network-based Speech Enhancement Systems

In this paper, we explore methods that enable supervised speech enhancement systems to train on real-world degraded speech data. Specifically, we propose a semi-supervised approach for speech enhancement in which we first train a modified vector-quantized variational autoencoder that solves a source separation task.
Paper
November 2, 2021 Bernhard Möller, Peter O'Hearn, Tony Hoare
Paper

On Algebra of Program Correctness and Incorrectness

Here, we use a Kleene algebra with diamond operators and countable joins of tests, which embeds IL, and which also is complete for reasoning about the image of the embedding.
Paper
November 1, 2021 Xiuyan Ni, Shujian Bu, Lucas Adams, Igor L. Markov
Paper

Prioritizing Original News on Facebook

This work outlines how we prioritize original news, a critical indicator of news quality. By examining the landscape and lifecycle of news posts on our social media platform, we identify challenges of building and deploying an originality score.
Paper
October 31, 2021 Pedro Rodriguez, Jordan Boyd-Graber
Paper

Evaluation Paradigms in Question Answering

This position paper names and distinguishes these paradigms. Despite substantial overlap, subtle but significant distinctions exert an outsize influence on research. While one evaluation paradigm values creating more intelligent QA systems, the other paradigm values building QA systems that appeal to users.
Paper
October 20, 2021 Sachin Mehta, Amit Kumar, Fitsum Reda, Varun Nasery, Vikram Mulukutla, Rakesh Ranjan, Vikas Chandra
Paper

EVRNet: Efficient Video Restoration on Edge Devices

In video transmission applications, video signals are transmitted over lossy channels, resulting in low-quality received signals. To restore videos on recipient edge devices in real-time, we introduce an efficient video restoration network, EVRNet.
Paper
October 19, 2021 Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
Paper

Lookahead in Partitioning SMT

This paper addresses both of these observations. We give a hybrid algorithm that integrates lookahead into the state-based representation of an SMT solver and show that in the vast majority of cases it is possible to compute full lookahead up to depth four on inexpensive theories.
Paper
October 11, 2021 Hao Jiang, Vamsi Krishna Ithapu
Paper

Egocentric Pose Estimation from Human Vision Span

In this paper, we tackle the egopose estimation from a more natural human vision span, where camera wearer can be seen in the peripheral view and depending on the head pose the wearer may become invisible or has a limited partial view.
Paper
October 10, 2021 Mathilde Caron, Hugo Touvron, Ishan Misra, Hervé Jégou, Julien Mairal, Piotr Bojanowski, Armand Joulin
Paper

Emerging Properties in Self-Supervised Vision Transformers

In this paper, we question if self-supervised learning provides new properties to Vision Transformer (ViT) [16] that stand out compared to convolutional networks (convnets).
Paper
October 1, 2021 Hung Le, Chinnadhurai Sankar, Seungwhan Moon, Ahmad Beirami, Alborz Geramifard, Satwik Kottur
Paper

DVD: A Diagnostic Dataset for Multi-step Reasoning in Video Grounded Dialogue

The dataset is designed to contain minimal biases and has detailed annotations for the different types of reasoning over the spatio-temporal space of video. Dialogues are synthesized over multiple question turns, each of which is injected with a set of cross-turn semantic relationships. We use DVD to analyze existing approaches, providing interesting insights into their abilities and limitations.
Paper
September 30, 2021 Vincent Conitzer, Christian Kroer, Debmalya Panigrahi, Okke Schrijvers, Nicolas E. Stier-Moses, Eric Sodomka, Christopher A. Wilkens
Paper

Pacing Equilibrium in First Price Auction Markets

In this paper, we take the perspective of a budget management system that surfaces aggregated incentives—instead of individual auctions—and compare first and second price auctions. We show that theory offers surprising endorsement for using a first price auction to sell individual impressions.
Paper