Research
On-device research index

arXiv research

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.

168,695 papers · 148 categories

Trend · papers per month

18365472 · May 202619922001200920172026
48 results for algebra toolkit

The transfer learning toolkit wraps the codes of 17 transfer learning models and provides integrated interfaces, allowing users to use those models by calling a simple function. It is easy for primary researchers to use this toolkit and to choose proper models for real-world applications. The toolkit is written in Pyth…

2019-11-20abs ↗pdf ↗

We study constrained generalized Killing spinors over the metric cone and cylinder of a (pseudo-)Riemannian manifold, developing a toolkit which can be used to investigate certain problems arising in supersymmetric flux compactifications of supergravity theories. Using geometric algebra techniques, we give conceptually…

2012-12-31abs ↗pdf ↗

A toolkit for path-norms enhances neural network generalization bounds.

problem Establishing generalization bounds for modern neural networks.
method Introducing a comprehensive toolkit for path-norms in ReLU networks with various operations.
result Established generalization bounds for modern neural networks that are the most widely applicable and recover/beat the sharpest known bounds.

We describe Sockeye (version 1.12), an open-source sequence-to-sequence toolkit for Neural Machine Translation (NMT). Sockeye is a production-ready framework for training and applying models as well as an experimental platform for researchers. Written in Python and built on MXNet, the toolkit offers scalable training a…

2017-12-15abs ↗pdf ↗

As a powerful tool of asynchronous event sequence analysis, point processes have been studied for a long time and achieved numerous successes in different fields. Among various point process models, Hawkes process and its variants attract many researchers in statistics and computer science these years because they capt…

2017-08-28abs ↗pdf ↗

Dynamic neural network toolkits such as PyTorch, DyNet, and Chainer offer more flexibility for implementing models that cope with data of varying dimensions and structure, relative to toolkits that operate on statically declared computations (e.g., TensorFlow, CNTK, and Theano). However, existing toolkits - both static…

2017-05-22abs ↗pdf ↗

We describe DyNet, a toolkit for implementing neural network models based on dynamic declaration of network structure. In the static declaration strategy that is used in toolkits like Theano, CNTK, and TensorFlow, the user first defines a computation graph (a symbolic representation of the computation), and then exampl…

2017-01-15abs ↗pdf ↗

Flexible tree ensemble learning framework supports arbitrary loss functions and multi-task learning.

problem Limited modeling capabilities of existing tree ensemble learning toolkits.
method Differentiable tree ensembles with tensor-based formulation for efficient training.
result Our framework leads to 100x more compact and 23% more expressive tree ensembles.

CAT toolkit combines hybrid and E2E approaches for efficient speech recognition.

problem Improving speech recognition efficiency and latency.
method CTC-CRF based framework with contextualized soft forgetting.
result CAT achieves state-of-the-art results with simpler training and streaming ASR.

We present MOGPTK, a Python package for multi-channel data modelling using Gaussian processes (GP). The aim of this toolkit is to make multi-output GP (MOGP) models accessible to researchers, data scientists, and practitioners alike. MOGPTK uses a Python front-end, relies on the GPflow suite and is built on a TensorFlo…

2020-02-09abs ↗pdf ↗

HIVE-COTE v1.0 improves time series classification with enhanced usability.

problem Improving time series classification accuracy and usability.
method Presented a walkthrough guide and extensive experimental evaluation of HIVE-COTE v1.0.
result HIVE-COTE v1.0 outperforms three recently proposed algorithms in predictive performance and resource usage.

Study properties of contact structures on symplectic disk bundles with concave boundaries.

problem Understanding the geometric properties of contact structures on concave boundaries of symplectic disk bundles.
method Use tools from toric geometry and algebraic torsion measurements from embedded contact homology.
result All such contact manifolds have a global contact toric structure, and can be tight or overtwisted.

In this paper, we present a new open source toolkit for automatic speech recognition (ASR), named CAT (CRF-based ASR Toolkit). A key feature of CAT is discriminative training in the framework of conditional random field (CRF), particularly with connectionist temporal classification (CTC) inspired state topology. CAT co…

2019-11-20abs ↗pdf ↗

Proves invertibility of layer potentials for generalized Stokes operators on smooth domains.

problem Invertibility of layer potentials for generalized Stokes operators on smooth domains.
method Developed algebra toolkit to handle layer operators' limit and jump relations; proved Fredholm property and invertibility.
result Proves invertibility of layer potentials for generalized Stokes operators on smooth domains.

New method predicts state evolution for non-first-order algorithms on nonconvex problems.

problem Analyzing nonconvex optimization problems with random data.
method Developed a state evolution for a broader class of algorithms including first-order and saddle point updates.
result Established rigorous state evolution predictions and finite-sample guarantees for non-first-order methods.

Paper identifies a shared toolkit of strategies for risk management across fields.

problem Uncertainty and risk management in various fields.
method Systematic identification and categorization of 110 strategies.
result RDOT: Risk-reducing Design and Operations Toolkit provides versatile responses to uncertainty.

Unified toolkit for comparing neural representations using SRTD and NTS.

problem Heuristic asymmetry and unbounded scores in existing divergences.
method Developed SRTD and NTS to address these issues.
result Unified, robust, and scale-invariant metric for comparing neural representations.

New invariant shows fifth move is unique and extends biquandle theory for surface-links.

problem Reproduce Yoshikawa's fifth move using other moves and isotopies.
method Develops a semi-invariant and biquandle-based invariant for surface-links.
result Yoshikawa's fifth move is unique and cannot be reproduced by other moves.

Recent advances in artificial intelligence have been driven by the presence of increasingly realistic and complex simulated environments. However, many of the existing environments provide either unrealistic visuals, inaccurate physics, low task complexity, restricted agent perspective, or a limited capacity for intera…

2018-09-07abs ↗pdf ↗

We present a computational toolkit for (local) Poisson-Nijenhuis calculus on manifolds. Our python module PoissonGeometry\textsf{PoissonGeometry} implements our algorithms, and accompanies this paper. We include two examples of how our methods can be used, one for gauge transformations of Poisson bivectors in dimension 3, and a sec…

2019-12-04abs ↗pdf ↗

MusPy is a toolkit for symbolic music generation, providing tools for dataset management and analysis.

problem Facilitating the creation and analysis of symbolic music datasets.
method Development of an open-source Python library (MusPy) with features for dataset management, data I/O, preprocessing, and model evaluation. Demonstrated through statistical analysis and cross-dataset generalizability experiments.
result MusPy's dataset analysis reveals varying degrees of cross-genre representation across different music datasets.

VerifAI toolkit improves neural network-based aircraft taxiing system safety.

problem Improving safety of autonomous aircraft taxiing systems using neural networks.
method Unified approach to formal analysis and retraining of AI systems, including falsification, debugging, and retraining.
result Improved neural network performance and reduced failure cases in aircraft taxiing system.

We describe the connected components of the complement of a natural "diagonal" of real codimension 1 in a stratum of quadratic differentials on CP1. We establish a natural bijection between the set of these connected components and the set of generic configurations that appear on such "flat spheres". We also prove that…

2007-08-27abs ↗pdf ↗

Topological data analysis and its main method, persistent homology, provide a toolkit for computing topological information of high-dimensional and noisy data sets. Kernels for one-parameter persistent homology have been established to connect persistent homology with machine learning techniques. We contribute a kernel…

2018-09-26abs ↗pdf ↗

In this technical report, we present jLDADMM---an easy-to-use Java toolkit for conventional topic models. jLDADMM is released to provide alternatives for topic modeling on normal or short texts. It provides implementations of the Latent Dirichlet Allocation topic model and the one-topic-per-document Dirichlet Multinomi…

2018-08-11abs ↗pdf ↗

Gradient Boosting Decision Tree (GBDT) are popular machine learning algorithms with implementations such as LightGBM and in popular machine learning toolkits like Scikit-Learn. Many implementations can only produce trees in an offline manner and in a greedy manner. We explore ways to convert existing GBDT implementatio…

2019-04-25abs ↗pdf ↗