Python library for conformal prediction, licensed under MIT.
problem Improving prediction accuracy with uncertainty quantification.
method Conformal prediction framework implemented in Python.
result Stable API and algorithms for conformal prediction.
HiPart offers an efficient, interactive tool for hierarchical clustering.
problem Efficient and interpretable hierarchical clustering for Big Data.
method Divisive hierarchical clustering algorithms with interactive visualizations.
result High computational efficiency and interpretability in Big Data applications.
We introduce torchbearer, a model fitting library for pytorch aimed at researchers working on deep learning or differentiable programming. The torchbearer library provides a high level metric and callback API that can be used for a wide range of applications. We also include a series of built in callbacks that can be u…
ORRB enables fast, customizable rendering of robotics environments.
problem Fast and customizable rendering of robotics environments.
method Based on Unity3d and MuJoCo, optimized for cloud deployment.
result Visual domain randomization for improved simulation.
SparseChem speeds up ML for small molecules.
problem Training fast and accurate ML models for high-dimensional data.
method Supports millions of features and compounds, trains various models.
result Fast and accurate machine learning models for biochemical applications.
Toolkit simplifies transfer learning for researchers.
problem Making transfer learning accessible to non-experts.
method Wraps 17 models, provides easy-to-use interfaces.
result Simplifies model selection for real-world applications.
Pattern recognition and machine learning are becoming integral parts of algorithms in a wide range of applications. Different algorithms and approaches for machine learning include different tradeoffs between performance and computation, so during algorithm development it is often necessary to explore a variety of diff…
Even todays most advanced machine learning models are easily fooled by almost imperceptible perturbations of their inputs. Foolbox is a new Python package to generate such adversarial perturbations and to quantify and compare the robustness of machine learning models. It is build around the idea that the most comparabl…
Python toolbox uncovers causal relationships from data.
problem Discovering causal relationships from observational data.
method End-to-end approach using algorithms from 'Bnlearn' and 'Pcalg', including pairwise causal discovery.
result Recovery of direct dependencies and causal relationships.
Rdimtools simplifies DR and IDE for high-dimensional data analysis.
problem Discovering patterns in complex high-dimensional data.
method Provides an R package with 133 DR and 17 IDE algorithms.
result Facilitates geometric understanding of high-dimensional data.
Random forests is a common non-parametric regression technique which performs well for mixed-type data and irrelevant covariates, while being robust to monotonic variable transformations. Existing random forest implementations target regression or classification. We introduce the RFCDE package for fitting random forest…
modAL is a modular active learning framework for Python, aimed to make active learning research and practice simpler. Its distinguishing features are (i) clear and modular object oriented design (ii) full compatibility with scikit-learn models and workflows. These features make fast prototyping and easy extensibility p…
FDApy simplifies analysis of functional data in Python.
problem Analysis of irregularly sampled functional data.
method Implementation of tools for representation, dimension reduction, and dataset generation.
result Efficient analysis of functional data, including irregularly sampled data.
mvlearn simplifies multiview machine learning for non-specialists.
problem Handling multiview data sets from disparate sources.
method Python library implementing multiview machine learning methods.
result Enables non-specialists to use multiview machine learning methods easily.
PyODDS is a Python system for outlier detection in databases.
problem Outlier detection in databases for various users.
method End-to-end Python system with database support, including statistical and deep learning algorithms.
result Supports outlier detection algorithms for users with or without machine learning background.
MILJS is a collection of state-of-the-art, platform-independent, scalable, fast JavaScript libraries for matrix calculation and machine learning. Our core library offering a matrix calculation is called Sushi, which exhibits far better performance than any other leading machine learning libraries written in JavaScript.…
InterpretML simplifies machine learning interpretability for users and researchers.
problem Making machine learning models understandable to non-experts.
method Unified Python package exposing interpretability algorithms and visualization.
result First implementation of Explainable Boosting Machine, a powerful, interpretable model.
Pykg2vec simplifies knowledge graph embedding research.
problem Learning representations of entities and relations in knowledge graphs.
method Flexible and modular software architecture implementing 16 state-of-the-art algorithms.
result Accelerates research in knowledge graph representation learning.
Flexible models cluster RNA sequencing data.
problem Clustering discrete data from RNA sequencing studies.
method Finite mixtures of multivariate Poisson-log normal factor analyzers with constraints.
result Models give favorable clustering performance on real and simulated data.
DoubleML is a Python library for causal inference using machine learning.
problem Estimating causal parameters in complex models with machine learning.
method Double machine learning framework for valid statistical inference.
result High flexibility and easy extension for various model specifications.
We introduce \texttt{pycobra}, a Python library devoted to ensemble learning (regression and classification) and visualisation. Its main assets are the implementation of several ensemble learning algorithms, a flexible and generic interface to compare and blend any existing machine learning algorithm available in Pytho…
Deep learning can achieve outstanding results in various fields. However, it requires so significant computational power that graphics processing units (GPUs) and/or numerous computers are often required for the practical application. We have developed a new distributed calculation framework called "Sashimi" that allow…
ModSSC unifies semi-supervised classification for various data types.
problem Fragmented support for semi-supervised classification across different methods, settings, and data types.
method ModSSC is a modular Python framework that supports reproducible and controlled experimentation for semi-supervised classification on heterogeneous data.
result ModSSC enables systematic comparison of semi-supervised learning across various datasets and model backbones.
Paper standardizes data licensing for AI and ML.
problem Unclear and ambiguous data licensing language in AI and ML.
method Developed a new family of data license language (Montreal Data License) and a web-based tool to generate it.
result Clearer tools and concepts for data use in AI and ML markets.
PyXAB is a Python library for X-armed bandits and online optimization.
problem Efficiently solving X-armed bandit problems and online blackbox optimization.
method Implementation of 10+ X-armed bandit algorithms and synthetic objectives.
result Evaluation of different algorithms' performance on various synthetic objectives.
tsbootstrap handles time series uncertainty without assuming independence.
problem Time series data violate IID assumptions, leading to undercoverage in traditional methods.
method Provides various resampling and bootstrap methods, including classical and adaptive conformal calibration.
result Dependence-aware methods reduce coverage deficits, with sieve resampling performing best.
ParaMonte simplifies Monte Carlo simulations for various scientific fields.
problem Efficiently performing Monte Carlo simulations for complex models.
method Unified, high-performance, parallelized library for C, C++, Fortran.
result Automates and streamlines Monte Carlo sampling for arbitrary-dimensional functions.
We present POLO --- a C++ library for large-scale parallel optimization research that emphasizes ease-of-use, flexibility and efficiency in algorithm design. It uses multiple inheritance and template programming to decompose algorithms into essential policies and facilitate code reuse. With its clear separation between…
BPt is a Python library for ML with neuroimaging data.
problem Analyzing large neuroimaging datasets using machine learning.
method Unified framework of ML tools for tabulated and neuroimaging data.
result Unified ML tools for neuroimaging and tabulated data.
ParaMonte::Python streamlines Bayesian data analysis with fast Monte Carlo and MCMC routines.
problem Efficiently sampling posterior distributions in Bayesian modeling and data science.
method Serial and MPI-parallelized Markov Chain Monte Carlo (MCMC) routines.
result Automated model calibration and uncertainty quantification in Bayesian analysis.
Optuna introduces a new hyperparameter optimization framework.
problem Efficient hyperparameter optimization for machine learning models.
method Define-by-run API, efficient implementation, versatile architecture.
result Optuna is the first software meeting next-generation hyperparameter optimization criteria.
BoGA combines evolutionary search with Bayesian optimization for efficient protein design.
problem Designing novel proteins with specific characteristics is challenging due to sequence space complexity.
method BoGA integrates a genetic algorithm with Bayesian optimization to efficiently explore sequence space.
result BoGA accelerates discovery of high-confidence binders for diverse protein design objectives.
Interactive tool helps choose and understand classification metrics.
problem Common metrics for binary classification have limitations.
method Graphical application to visualize and explore evaluation metrics.
result Promotes careful attention to interpretation of metrics.
Adversarial Robustness Toolbox (ART) is a Python library supporting developers and researchers in defending Machine Learning models (Deep Neural Networks, Gradient Boosted Decision Trees, Support Vector Machines, Random Forests, Logistic Regression, Gaussian Processes, Decision Trees, Scikit-learn Pipelines, etc.) agai…
Study of Dirac-like operators on spin manifolds with large mass parameters.
problem Understanding spectra of Dirac-like operators with piecewise constant mass terms.
method Analysis of asymptotic regimes to derive effective operators.
result Extension of MIT Bag operator concept to spin geometry.
Proves Hadamard states for Dirac fields on manifolds with timelike boundaries.
problem Existence of Hadamard states for Dirac fields with MIT boundary conditions.
method Introducing geometric Møller operator to implement unitary isomorphism between spaces of initial data.
result Existence of Hadamard states for Dirac fields with MIT boundary conditions.
Large speech dataset for commercial use with 9.98% word error rate.
problem Creating a diverse speech recognition dataset for commercial purposes.
method Internet search for licensed audio data with transcriptions, training model on the dataset.
result Model trained on dataset achieves 9.98% word error rate on Librispeech's test-clean test set.
In Chinese societies, superstition is of paramount importance, and vehicle license plates with desirable numbers can fetch very high prices in auctions. Unlike other valuable items, license plates are not allocated an estimated price before auction. I propose that the task of predicting plate prices can be viewed as a …
The paper integrates statistical significance and discriminative power in pattern discovery.
problem Discovering actionable patterns that meet rigorous statistical significance and discriminative power criteria.
method Integrates statistical significance and discriminative power criteria into state-of-the-art algorithms.
result Improves discriminative power and statistical significance of discovered patterns without quality deterioration.
advertorch is a toolbox for adversarial robustness research. It contains various implementations for attacks, defenses and robust training methods. advertorch is built on PyTorch (Paszke et al., 2017), and leverages the advantages of the dynamic computational graph to provide concise and efficient reference implementat…
While it is an important problem to identify the existence of causal associations between two components of a multivariate time series, a topic addressed in Runge et al. (2012), it is even more important to assess the strength of their association in a meaningful way. In the present article we focus on the problem of d…
A new method interprets astrophysical spectra using geometric paths to distinguish line profiles.
problem Tackling the indistinguishability of spectral line profiles under scalar summaries.
method Introduces a geometric representation of line profiles using rough path theory, mapping profiles to a common velocity grid and defining descriptors from path properties.
result Compact descriptors separate morphologies with similar scalar summaries, revealing ordered line structures.
Deep neural networks (DNNs) provide state-of-the-art results for a multitude of applications, but the approaches using DNNs for multimodal audiovisual applications do not consider predictive uncertainty associated with individual modalities. Bayesian deep learning methods provide principled confidence and quantify pred…
Lean Copilot uses LLMs to assist theorem proving in Lean, improving efficiency and automation.
problem Challenges in using existing neural theorem provers to prove novel theorems autonomously.
method Introduces Lean Copilot, a framework for integrating LLMs into Lean's theorem proving process.
result Lean Copilot automates 74.2% of proof steps on average, significantly improving over existing methods.
LeanDojo removes barriers to theorem proving with open-source tools and data.
problem Difficulty in reproducing and building on existing theorem proving methods.
method Introduces LeanDojo, an open-source Lean playground with toolkits, data, models, and benchmarks.
result ReProver, an LLM-based prover augmented with retrieval, outperforms non-retrieval baselines and GPT-4.
In this paper, we define the Green function for the Dirac operator under two local boundary conditions: the condition associated with a chirality operator (also called the chiral bag boundary condition) and the $\MIT$ bag boundary condition. Then we give some applications of these constructions for each Green function.…
This version withdrawn by arXiv administrators because the submitter did not have the right to agree to our license at the time of submission.
Unified pipeline predicts equipment anomalies with high precision and reduced false positives.
problem Predicting equipment anomalies before failures using small models.
method Triplet Feature Fusion combining statistical, time-series, and text embeddings.
result Achieves high precision and reduced false positives.