Search Results for author: Henry Jackson-Flux

Found 2 papers, 2 papers with code

Self-Supervised Bug Detection and Repair

1 code implementation NeurIPS 2021 Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt

Machine learning-based program analyses have recently shown the promise of integrating formal and probabilistic reasoning towards aiding software development.

Self-Supervised Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.