RESEARCH

HUMAN & MACHINE INTELLIGENCE

Continuous Reasoning: Scaling the Impact of Formal Methods

July 9, 2018

Abstract

This paper describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers. The paper describes the rationale for continuous reasoning, outlines some success cases from within industry, and proposes directions for work by the scientific community.

Download the Paper

AUTHORS

Written by

Peter O'Hearn

Related Publications

May 31, 2019

INTEGRITY

Abusive Language Detection with Graph Convolutional Networks | Facebook AI Research

Abuse on the Internet represents a significant societal problem of our time. Previous research on automated abusive language detection in Twitter has shown that community-based profiling of users is a promising technique for this task. However,…

Pushkar Mishra, Marco Del Tredici, Helen Yannakoudakis, Ekaterina Shutova

May 31, 2019

November 02, 2019

NLP

SPEECH & AUDIO

Build it Break it Fix it for Dialogue Safety: Robustness from Adversarial Human Attack | Facebook AI Research

The detection of offensive language in the context of a dialogue has become an increasingly important application of natural language processing. The detection of trolls in public forums (Galan-García et al., 2016), and the deployment of…

Emily Dinan, Samuel Humeau, Bharath Chintagunta, Jason Weston

November 02, 2019

April 30, 2018

COMPUTER VISION

INTEGRITY

Countering Adversarial Images Using Input Transformations | Facebook AI Research

This paper investigates strategies that defend against adversarial-example attacks on image-classification systems by transforming the inputs before feeding them to the system. Specifically, we study applying image transformations such as…

Chuan Guo, Mayank Rana, Moustapha Cisse, Laurens van der Maaten

April 30, 2018

June 15, 2019

COMPUTER VISION

INTEGRITY

Feature Denoising for Improving Adversarial Robustness | Facebook AI Research

Adversarial attacks to image classification systems present challenges to convolutional networks and opportunities for understanding them. This study suggests that adversarial perturbations on images lead to noise in the features constructed by…

Kaiming He, Yuxin Wu, Laurens van der Maaten, Alan Yuille, Cihang Xie

June 15, 2019

Related Work

Help Us Pioneer The Future of AI

We share our open source frameworks, tools, libraries, and models for everything from research exploration to large-scale production deployment.