Human-in-the-loop machine learning: a state of the art
E Mosqueira-Rey, E Hernández-Pereira… - Artificial Intelligence …, 2023 - Springer
Researchers are defining new types of interactions between humans and machine learning
algorithms generically called human-in-the-loop machine learning. Depending on who is in …
algorithms generically called human-in-the-loop machine learning. Depending on who is in …
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
In the past few years, significant progress has been made on deep neural networks (DNNs)
in achieving human-level performance on several long-standing tasks. With the broader …
in achieving human-level performance on several long-standing tasks. With the broader …
Ntire 2017 challenge on single image super-resolution: Methods and results
This paper reviews the first challenge on single image super-resolution (restoration of rich
details in an low resolution image) with focus on proposed solutions and results. A new …
details in an low resolution image) with focus on proposed solutions and results. A new …
The oracle problem in software testing: A survey
Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …
Given an input for a system, the challenge of distinguishing the corresponding desired …
Neural gpus learn algorithms
Ł Kaiser, I Sutskever - arXiv preprint arXiv:1511.08228, 2015 - arxiv.org
Learning an algorithm from examples is a fundamental problem that has been widely
studied. Recently it has been addressed using neural networks, in particular by Neural …
studied. Recently it has been addressed using neural networks, in particular by Neural …
Automating string processing in spreadsheets using input-output examples
S Gulwani - ACM Sigplan Notices, 2011 - dl.acm.org
We describe the design of a string programming/expression language that supports
restricted forms of regular expressions, conditionals and loops. The language is expressive …
restricted forms of regular expressions, conditionals and loops. The language is expressive …
Protocol state fuzzing of {TLS} implementations
J De Ruiter, E Poll - 24th USENIX Security Symposium (USENIX Security …, 2015 - usenix.org
We describe a largely automated and systematic analysis of TLS implementations by what
we call 'protocol state fuzzing': we use state machine learning to infer state machines from …
we call 'protocol state fuzzing': we use state machine learning to infer state machines from …
Model checking
EM Clarke - Foundations of Software Technology and Theoretical …, 1997 - Springer
Abstract Model checking is an automatic technique for verifying finite-state reactive systems,
such as sequential circuit designs and communication protocols. Specifications are …
such as sequential circuit designs and communication protocols. Specifications are …
Interactive code generation via test-driven user-intent formalization
Large language models (LLMs) have shown great potential in automating significant
aspects of coding by producing natural code from informal natural language (NL) intent …
aspects of coding by producing natural code from informal natural language (NL) intent …