A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Graph-based ML improves defect prediction in software development.
Research proposes an ensemble learning model for efficient software defect prediction.
MISIM improves code similarity systems with neural learning.
OS-ELM outperforms other classifiers in software defect prediction.
Deep learning had been used in program analysis for the prediction of hidden software defects using software defect datasets, security vulnerabilities using generative adversarial networks as well as identifying syntax errors by learning a trained neural machine translation on program codes. However, all these approach…
SCaSML improves PDE solvers by correcting errors efficiently.
In this paper, we survey recent results on index defects of elliptic operators on manifolds with boundary. Index defects are similar to the Hirzebruch signature defects in topology, where the defects appear as the correction terms to the signature formula on manifolds with boundary. For some natural classes of elliptic…
Context: Conducting experiments is central to research machine learning research to benchmark, evaluate and compare learning algorithms. Consequently it is important we conduct reliable, trustworthy experiments. Objective: We investigate the incidence of errors in a sample of machine learning experiments in the domain …
The study analyzes group testing algorithms for identifying defective items with high confidence.
This paper explores formal verification for autonomous systems, identifying limitations and proposing improvements.
Motivated by the problem of automated repair of software vulnerabilities, we propose an adversarial learning approach that maps from one discrete source domain to another target domain without requiring paired labeled examples or source and target domains to be bijections. We demonstrate that the proposed adversarial l…
System predicts ice formation to improve road safety.
Improving software quality through effective organizational learning.
Defines state sum models with defects in 3-manifolds.
The study examines K-polystability on Fano 4-folds with specific Lefschetz defects.
Context: One of the black arts of data mining is learning the magic parameters which control the learners. In software analytics, at least for defect prediction, several methods, like grid search and differential evolution (DE), have been proposed to learn these parameters, which has been proved to be able to improve t…
Language models learn automotive complaints, improving defect detection.
Recent advances in machine learning and artificial intelligence are now being considered in safety-critical autonomous systems where software defects may cause severe harm to humans and the environment. Design organizations in these domains are currently unable to provide convincing arguments that their systems are saf…
Study of knotted defects in smectic liquid crystals using topological knot theory.
We study the topology of smectic defects in two and three dimensions. We give a topological classification of smectic point defects and disclination lines in three dimensions. In addition we describe the combination rules for smectic point defects in two and three dimensions, showing how the broken translational symmet…
We define the sigma-model action for world-sheets with embedded defect networks in the presence of a three-form field strength. We derive the defect gluing condition for the sigma-model fields and their derivatives, and use it to distinguish between conformal and topological defects. As an example, we treat the WZW mod…
Alexander polynomial degree correlates with knot defect, proving conjecture for defect zero.
We introduce a Bayesian defect detector to facilitate the defect detection on the motion blurred images on rough texture surfaces. To enhance the accuracy of Bayesian detection on removing non-defect pixels, we develop a class of reflected non-local prior distributions, which is constructed by using the mode of a distr…
Automates defect detection using autoencoders on normal images only.
Framework for efficient defect classification and inspection.
Mathematical models are used extensively for diverse tasks including analysis, optimization, and decision making. Frequently, those models are principled but imperfect representations of reality. This is either due to incomplete physical description of the underlying phenomenon (simplified governing equations, defectiv…
Simplified 3D Dijkgraaf-Witten theory with defects explained geometrically.
The angle defect, which is the standard way to measure curvature at the vertices of polyhedral surfaces, goes back at least as far as Descartes. Although the angle defect has been widely studied, there does not appear to be in the literature an axiomatic characterization of the angle defect. We give a characterization …
Spin TFTs created by gauging line defects in 3D.
Defect of knot polynomials remains invariant under certain braid substitutions.
Extends knotted defect classification to bounded domains using handlebodies.
New theorem disproves Angle Defect for super triangles.
Classical elasticity is concerned with bodies that can be modeled as smooth manifolds endowed with a reference metric that represents local equilibrium distances between neighboring material elements. The elastic energy associated with a configuration of a body in classical elasticity is the sum of local contributions …
Many software analysis methods have come to rely on machine learning approaches. Code segmentation - the process of decomposing source code into meaningful blocks - can augment these methods by featurizing code, reducing noise, and limiting the problem space. Traditionally, code segmentation has been done using syntact…
A modular tensor category gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded -coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. …
A topological defect separating a pair of two-dimensional CFTs is a codimension one interface along which all components of the stress-energy tensor glue continuously. We study topological defects of the bosonic, (0,1)- and (0,2)-supersymmetric sigma models in two dimensions. We find a geometric classification of such …
We present a homogenization theorem for isotropically-distributed point defects, by considering a sequence of manifolds with increasingly dense point defects. The loci of the defects are chosen randomly according to a weighted Poisson point process, making it a continuous version of the first passage percolation model.…
Corporate bond factor research is flawed due to measurement errors and ex-post filtering.
Develops skein theory for 3-manifolds with defects, extending quantum character stacks.
We describe discrete symmetries of two-dimensional Yang-Mills theory with gauge group associated to outer automorphisms of , and their corresponding defects. We show that the gauge theory partition function with defects can be computed as a path integral over the space of twisted -bundles, and calculate it ex…
A novel method classifies wafer defects using topological data analysis.
A new deep metric learning method for defect classification in threaded pipe connections.
The goal of this paper is twofold. First we prove a rigidity estimate, which generalises the theorem on geometric rigidity of Friesecke, James and Müller to 1-forms with non-vanishing exterior derivative. Second we use this estimate to prove a kind of spontaneous breaking of rotational symmetry for some models of cryst…
New conditions ensure points can be uniquely represented by combinations of variety elements.
The problem of automatic software generation is known as Machine Programming. In this work, we propose a framework based on genetic algorithms to solve this problem. Although genetic algorithms have been used successfully for many problems, one criticism is that hand-crafting its fitness function, the test that aims to…
We show that Bonnesen's isoperimetic defect has a systolic analog for Loewner's torus inequality. The isosystolic defect is expressed in terms of the probabilistic variance of the conformal factor of the metric g with respect to the flat metric of unit area in the conformal class of g.
Graph coloring is explained using a topological field theory with defects.
Recognition of defects in concrete infrastructure, especially in bridges, is a costly and time consuming crucial first step in the assessment of the structural integrity. Large variation in appearance of the concrete material, changing illumination and weather conditions, a variety of possible surface markings as well …