Paper presents a neural network method for automated bug and ticket classification.
problem Automated classification of bug and ticket content in systems.
method Recurrent neural network with hierarchical attention mechanism.
result The method outperforms previous approaches on two datasets.
We explore the perspective of a bug living on the two-dimensional surface of a polyhedron. Images of various kinds of effects like lensing and cloaking are shown via color pictures of three viewpoints: the first person perspective of the bug, a map of the bug's viewpoint, and a look at the bug on the embedded polyhedro…
Jointly learning to localize and repair variable-misuse bugs improves program repair.
problem Variable-misuse bugs in programs.
method Multi-headed pointer networks for joint localization and repair.
result Joint model significantly outperforms an enumerative solution.
Develops a deep metric learning approach for detecting bugs in video games.
problem Automated detection of bugs in video games.
method State-State Siamese Networks (S3N) for deep metric learning.
result S3N learns meaningful embeddings to identify various types of bugs.
Training set bugs are flaws in the data that adversely affect machine learning. The training set is usually too large for man- ual inspection, but one may have the resources to verify a few trusted items. The set of trusted items may not by itself be adequate for learning, so we propose an algorithm that uses these ite…
SequenceR uses seq-to-seq learning to fix bugs in code.
problem Fixing bugs in code using machine learning.
method Sequence-to-sequence learning with copy mechanism, trained on curated code samples.
result SequenceR can perfectly predict and find correct patches for bugs.
Develops Kleinian Sphere Packings and Bugs, proving their arithmetic origins.
problem Understanding sphere packings and their arithmetic origins in various dimensions.
method Introduces Kleinian Sphere Packings and Bugs, extending Arithmeticity Theorem.
result Kleinian packings and Bugs come from Q-arithmetic lattices of simplest type.
This work uses image generation models to find vision model bugs.
problem Automatically discovering failures in vision models.
method Conditional text-to-image generation and captioning models.
result Demonstrated utility of large-scale generative models to find vision model bugs.
Automated graphics testing detects novel corruptions without manual labeling.
problem Detecting novel visual corruptions in graphics unit testing without manual labeling.
method Reproduces driver bugs to generate corruptions and uses Multiple Instance Learning (MIL) methods.
result Significantly outperforms unsupervised methods and discovers novel corruptions.
TFCheck detects training issues in ML programs using TensorFlow.
problem Training programs often contain inconsistencies and bugs.
method Developed a TensorFlow library (TFCheck) with verification routines.
result TFCheck successfully detects training issues in ML code.
Bayes-optimal classifiers are robust to adversarial attacks, unlike CNNs trained on the same data.
problem The vulnerability of modern CNN classifiers to adversarial examples.
method Constructing realistic image datasets and deriving analytic conditions for Bayes-optimal classifiers.
result Bayes-optimal classifiers are robust to adversarial attacks, unlike CNNs trained on the same data.
Neural network identifies undeclared variables and infers their types.
problem Undeclared variable errors in programs.
method Trained on structural semantic details of AST, identifies and infers types of undeclared variables.
result Correctly identified and inferred types for 80% of programs with undeclared variable errors.
This research simplifies verification of machine learning systems using reparameterization.
problem Reduce or eliminate serious bugs in machine learning systems.
method Use proof assistants to construct machine-checked proofs of correctness, leveraging reparameterization to handle probabilistic claims.
result Demonstrates broad applicability of reparameterization to verify different types of machine learning systems.
The paper develops methods to identify and correct buggy data in linear regression models.
problem Identifying and correcting buggy data in linear regression models.
method Formulated a general statistical algorithm for identifying buggy points, provided theoretical guarantees, and proposed an algorithm for tuning parameter selection.
result Theoretical guarantees and empirical results show the effectiveness of the proposed debugging algorithm.
Unified platform SOCRATES for neural network analysis.
problem Analyzing neural networks for bugs and fairness.
method Standardized format, assertion language, and multiple analysis algorithms.
result Unified platform for neural network analysis.
Forward Automatic Differentiation (AD) is a technique for augmenting programs to compute derivatives. The essence of Forward AD is to attach perturbations to each number, and propagate these through the computation. When derivatives are nested, the distinct derivative calculations, and their associated perturbations, m…
RL approach for target tracking with unknown dynamics and sensor control.
problem Tracking an unknown target with sensor control.
method Track-MDP formulation for RL, compared with POMDP.
result Optimal RL policy tracks all target paths with certainty.
This work uses SVM to identify track component failures in AC Track Circuits.
problem Detecting and identifying specific track component failures in AC Track Circuits.
method Applied SVM classifier to STDS track circuit data.
result Successfully classified 15 different track component failures.
New train tracks for complex homeomorphisms found.
problem Existence of irreducible train tracks for pseudo-Anosov homeomorphisms.
method Starting from a veering triangulation, identify and modify branches to bypass obstructions.
result Construction of invariant train tracks with irreducible transition matrix.
New method uses cluster shapes to improve track finding in particle collisions.
problem Combining timing and additional detector information for efficient track finding.
method Neural networks to analyze cluster shapes for track seeding.
result Cluster shapes reduce fake combinatorial backgrounds while maintaining high track efficiency.
Value-tracking in financial markets breaks down when non-valuation-based traders dominate.
problem Understanding the threshold for value-tracking in financial markets.
method Simple discrete-time model to show how non-valuation-based traders can cause tracking errors.
result A threshold above which value-tracking breaks down without changes in asset value.
This paper optimizes object tracking on edge devices with small matrices.
problem Efficiently tracking objects in video sequences on edge devices with small matrices.
method Parallelized a Simple Online and Real-time Tracking (SORT) application on shared-memory multicores.
result Throughput-based parallelization technique outperforms multi-threading for small matrices.
A DRL-based strategy improves vehicle tracking accuracy while saving energy.
problem Enhancing vehicle tracking accuracy in WSNs without increasing energy consumption.
method Decentralized strategy with dynamic reinforcement learning to adjust sensing areas.
result Simulation results demonstrate superior performance of DRL-aided design.
Paper introduces TAP-Vid, a benchmark for tracking any point in videos.
problem Tackles the problem of tracking arbitrary physical points on surfaces over longer video clips.
method Formalizes the problem as TAP, introduces TAP-Vid benchmark, uses crowdsourced pipeline with optical flow estimates, proposes TAP-Net model.
result TAP-Net outperforms all prior methods on TAP-Vid benchmark when trained on synthetic data.
Study on VIX futures portfolios to track VIX index, finding dynamic strategy superior.
problem Tracking VIX index with VIX futures lagging.
method Optimization methods for static portfolios, dynamic trading strategy for VIX futures.
result Dynamic trading strategy outperforms static portfolios and VXX in tracking VIX.
We show that the subsurface projection of a train track splitting sequence is an unparameterized quasi-geodesic in the curve complex of the subsurface. For the proof we introduce induced tracks, efficient position, and wide curves. This result is an important step in the proof that the disk complex is Gromov hyperbolic…
A novel tracking method for dense honeybee colonies using pixel personality.
problem Tracking large numbers of densely-arranged, interacting objects in a 2D environment.
method Segmentation-based object detection followed by adaptive object recognition through visual appearance.
result Reconstructed ~46% of trajectories in 5 minutes and 71% of tracks for at least 2 minutes.
Train track automata for fully irreducible elements in Out(F_r).
problem Understanding fully irreducible elements in Out(F_r).
method Describing train track automata and geodesics in Outer Space.
result Geodesics in Culler-Vogtmann Outer Space for fully irreducible elements.
Adversarial attacks found to be effective on code models.
problem Adversarial robustness of code models.
method Instantiated adversarial attacks for code, demonstrated vulnerability, and improved robustness.
result Neural models for code are vulnerable to adversarial attacks.
Expert-augmented algorithm boosts scores in Montezuma's Revenge.
problem Sparse rewards in Montezuma's Revenge.
method Expert-augmented actor-critic algorithm.
result Achieves above 27,000 points consistently, surpassing expert performance.
Dynamic tracking error framework shows similar performance but varying volatility across different constraints.
problem Differences in governance parameters between Total Portfolio Approach and Strategic Asset Allocation.
method Portfolio simulations using U.S. equity and bond data from 2000 to 2026, spanning 2004 to 2026.
result Realized tracking error volatility varies 12-fold across different constraints, with costs highest during crises.
Corrected CBOW performs similarly to Skip-gram.
problem CBOW embeddings underperform Skip-gram embeddings in word2vec.
method Fixed a bug in CBOW gradient update to improve performance.
result Corrected CBOW embeddings are competitive with Skip-gram on various tasks.
A new neural network approach reduces tracking error in index replication.
problem Efficiently replicating an index with cardinality constraints.
method Reparametrisation and stochastic neural networks for optimisation.
result Our model achieves the lowest tracking error compared to benchmarks.
Modeling self-tracking data identifies subtypes of endometriosis.
problem No known biomarkers for endometriosis, highly enigmatic condition.
method Mixed-membership models on self-tracking data.
result Identifies potential subtypes robust to tracking variations.
Probabilistic programming allows specification of probabilistic models in a declarative manner. Recently, several new software systems and languages for probabilistic programming have been developed on the basis of newly developed and improved methods for approximate inference in probabilistic models. In this contribut…
Paper improves Lasso for S&P500 index tracking with post-selection inference.
problem Index tracking for S&P500 with many applications.
method Used Lasso for dimension reduction and post-selection inference.
result Lasso method for S&P500 index tracking shows high performance.
Bayesian approach for constructing and rebalancing sparse index-tracking portfolios.
problem Sparse tracking of a reference index with uncertainty quantification.
method Sparse linear regression with Laplace prior, empirical-Bayes calibration, Langevin-type MCMC, threshold-based rules.
result Posterior uncertainty on tracking error, portfolio composition, and rebalancing moves.
Automated method selects eye tracking variables for categorization tasks.
problem Limited duration of infant cooperation and biases in handpicked eye tracking variables.
method Automated selection of eye tracking variables using statistical techniques.
result Same eye tracking variables classify category learners from non-learners in adults and infants with high accuracy.
We propose a new Bayesian tracking and parameter learning algorithm for non-linear non-Gaussian multiple target tracking (MTT) models. We design a Markov chain Monte Carlo (MCMC) algorithm to sample from the posterior distribution of the target states, birth and death times, and association of observations to targets, …
End-to-end unsupervised MOT from videos.
problem Challenging online Multi-Object Tracking from videos.
method Differentiable neural model for tracking and animation, end-to-end learning.
result End-to-end learning of MOT from videos without labeled data.
In General Relativity the metric can be recovered from the structure of the lightcones and a measure giving the volume element. Since the causal structure seems to be simpler than the Lorentzian manifold structure, this suggests that it is more fundamental. But there are cases when seemingly healthy causal structure an…
Paper translates train track concepts to cluster algebras for pseudo-Anosov mapping classes.
problem Understanding pseudo-Anosov mapping classes on surfaces.
method Using Goncharov--Shen's potential function, the paper translates train track concepts into cluster algebra language.
result Proves sign stability of general pseudo-Anosov mapping classes.
This paper reviews and analyzes various modeling approaches for financial index tracking.
problem Efficient replication of market index performance in financial markets.
method Categorization into three frameworks: optimization, statistical, and machine learning; empirical study on S&P 500 dataset.
result Optimization-based models deliver the most precise index tracking, statistical-based models achieve the strongest return-risk balance, and data-driven models provide competitive performance.
New data-driven Cartan connection tracks complex vascular structures.
problem Tracking complex vascular structures in multi-orientation images.
method Formulated a data-driven Cartan connection on M2 for geodesic tracking. result Improved geodesic tracking of vascular trees with globally optimal curves.
A new method tracks retinal vessels more accurately than existing methods.
problem Tracking retinal vessels accurately in spherical images.
method Computing cusp-free, crossing-preserving geodesics on spherical positions and orientations.
result Crossing-preserving tracking shows clear advantages over non-crossing-preserving tracking.
RL policy tracks dynamic targets in partially known environments robustly.
problem Active target tracking in partially known environments.
method Deep reinforcement learning (RL) approach for in-sight tracking, navigation, and exploration.
result Unified RL policy shows robust behavior for agile and anomalous targets.
Robust index tracking strategy improves performance during market downturns.
problem Optimizing asset management with uncertainty in asset distributions.
method Forward-looking approach using Bregman divergence for robust optimization.
result The robust index tracking strategy outperforms the non-robust strategy during market downturns.
Adversarial examples are due to non-robust features in data.
problem Understanding the reasons behind adversarial examples in machine learning.
method Developed a theoretical framework to identify non-robust features and demonstrated their widespread existence.
result Adversarial examples are a result of non-robust features in data.