arXiv research

New geometric approach controls motion of a spinning sphere on a plane.

New kinematic model for a spin-rolling sphere using Darboux frame.

ETC improves Transformer models for long and structured inputs.

Unified method for input, data, and model uncertainty in neural networks.

Improves sample efficiency in reinforcement learning with input representation.

Detects unusual inputs to neural networks to prevent flawed predictions.

TVS-FNNs can approximate any continuous function on expanded input spaces.

We consider reinforcement learning in input-driven environments, where an exogenous, stochastic input process affects the dynamics of the system. Input processes arise in many applications, including queuing systems, robotics control with disturbances, and object tracking. Since the state dynamics and rewards depend on…

A new method builds sparse polynomial chaos expansions for models with dependent inputs.

Centroid Transformers reduce memory and computation by summarizing inputs into centroids.

Methods for combining predictions from different models in a supervised learning setting must somehow estimate/predict the quality of a model's predictions at unknown future inputs. Many of these methods (often implicitly) make the assumption that the test inputs are identical to the training inputs, which is seldom re…

Testing under what conditions the product satisfies the desired properties is a fundamental problem in manufacturing industry. If the condition and the property are respectively regarded as the input and the output of a black-box function, this task can be interpreted as the problem called Level Set Estimation (LSE) --…

IA-BMA adapts model weights to inputs for better predictions.

Recent work establishes dataset difficulty and removes annotation artifacts via partial-input baselines (e.g., hypothesis-only models for SNLI or question-only models for VQA). When a partial-input baseline gets high accuracy, a dataset is cheatable. However, the converse is not necessarily true: the failure of a parti…

We analyze the adversarial examples problem in terms of a model's fault tolerance with respect to its input. Whereas previous work focuses on arbitrarily strict threat models, i.e., $ε$-perturbations, we consider arbitrary valid inputs and propose an information-based characteristic for evaluating tolerance to diverse …

Local robustness verification can verify that a neural network is robust wrt. any perturbation to a specific input within a certain distance. We call this distance Robustness Radius. We observe that the robustness radii of correctly classified inputs are much larger than that of misclassified inputs which include adver…

AIRBO optimizes robustly under uncertain inputs.

When simulating a complex stochastic system, the behavior of output response depends on input parameters estimated from finite real-world data, and the finiteness of data brings input uncertainty into the system. The quantification of the impact of input uncertainty on output response has been extensively studied. Most…

We present a novel framework for specifying and verifying correctness globally for neural networks on perception tasks. Most previous works on neural network verification for perception tasks focus on robustness verification. Unlike robustness verification, which aims to verify that the prediction of a network is stabl…

Generalizes memory and forecasting capacities for nonlinear recurrent networks with dependent inputs.

This paper aims to propose a novel deep learning-integrated framework for deriving reliable simulation input models through incorporating multi-source information. The framework sources and extracts multisource data generated from construction operations, which provides rich information for input modeling. The framewor…

SpinSVAR estimates SVAR models with sparse input, improving accuracy and scalability.

New method distinguishes predictive distribution estimators in high-dimensional inputs.

This research analyzes how input and output layers affect deep neural networks' resistance to adversarial attacks.

Humans increasingly interact with Artificial intelligence(AI) systems. AI systems are optimized for objectives such as minimum computation or minimum error rate in recognizing and interpreting inputs from humans. In contrast, inputs created by humans are often treated as a given. We investigate how inputs of humans can…

New method certifies neural network robustness under random input noise.

In this work, we aim to solve data-driven optimization problems, where the goal is to find an input that maximizes an unknown score function given access to a dataset of inputs with corresponding scores. When the inputs are high-dimensional and valid inputs constitute a small subset of this space (e.g., valid protein s…

Enhances sensitivity analysis for correlated inputs.

MIMONets speed up neural network inference by processing multiple inputs in parallel.

Recurrent neural networks (RNNs) have drawn interest from machine learning researchers because of their effectiveness at preserving past inputs for time-varying data processing tasks. To understand the success and limitations of RNNs, it is critical that we advance our analysis of their fundamental memory properties. W…

VAIOM models financial returns using continuous input and categorical output.

Model captures system input variations in latent space for actionable dynamics.

DeformRS certifies deep networks against various input deformations.

In the manufacturing industry, it is often necessary to repeat expensive operational testing of machine in order to identify the range of input conditions under which the machine operates properly. Since it is often difficult to accurately control the input conditions during the actual usage of the machine, there is a …

This research investigates reliable local explanations for machine listening models.

With a constant improvement in the network architectures and training methodologies, Neural Networks (NNs) are increasingly being deployed in real-world Machine Learning systems. However, despite their impressive performance on "known inputs", these NNs can fail absurdly on the "unseen inputs", especially if these real…

Bayesian neural networks simplified with input augmentation.

Develops HDNNs for mixed geoscience data inputs.

Humans are able to imagine a person's voice from the person's appearance and imagine the person's appearance from his/her voice. In this paper, we make the first attempt to develop a method that can convert speech into a voice that matches an input face image and generate a face image that matches the voice of the inpu…

In this paper, we propose a method that disentangles the effects of multiple input conditions in Generative Adversarial Networks (GANs). In particular, we demonstrate our method in controlling color, texture, and shape of a generated garment image for computer-aided fashion design. To disentangle the effect of input at…

Efficiently processes dynamic inputs in AI writing assistants with incremental computation.

Test for linearizing 2-input systems with 2D feedback.

Transformers handle infinite dimensional inputs effectively by feature extraction and dynamic feature selection.

Interprets neural network classifiers for categorical inputs.

ISAAC Newton uses input-based curvature for efficient training.

Recent efforts to improve the interpretability of deep neural networks use saliency to characterize the importance of input features to predictions made by models. Work on interpretability using saliency-based methods on Recurrent Neural Networks (RNNs) has mostly targeted language tasks, and their applicability to tim…

XEnsemble improves DNN robustness against adversarial and out-of-distribution inputs.

Fairness is a critical trait in decision making. As machine-learning models are increasingly being used in sensitive application domains (e.g. education and employment) for decision making, it is crucial that the decisions computed by such models are free of unintended bias. But how can we automatically validate the fa…