Gesture recognition system for automated bartending.
problem Improving efficiency and accuracy in bar ordering.
method Machine Learning for gesture classification using collected data.
result Average accuracy of 95% in gesture recognition.
Prediction Factory automates predictive model development and evaluation.
problem Rapidly developing and sharing predictive models with domain experts.
method Data science automation system with three interfaces: baseline, full, and optional automation.
result Full automation interface generated reports funded 57.5% of the time, compared to 42.5% for baseline.
Automated theorem prover proves non-orderability of groups.
problem Proving non-orderability of groups.
method Generic automated theorem prover with tools like positive cones, torsions, generalised torsions, and cofinal elements.
result Demonstrated automated proof of non-orderability of groups.
Study identifies what healthcare tasks can and should be automated.
problem Undesired consequences of automation in healthcare.
method Quantitative analysis using machine learning models trained on practitioner and expert ratings.
result Developed an analytical tool (Automatability-Desirability Matrix) for policymakers and leaders.
This paper surveys scalable automated alignment methods for LLMs.
problem Scalability issues in traditional human-annotated alignment methods for LLMs.
method Categorizes and discusses various automated alignment methods.
result Emerging automated alignment methods are effective and scalable.
This paper uses machine learning to assist automation engineers in decision making.
problem Imperfect decision making by automation engineers leads to multiple iterations and increased time for software development.
method Defined challenges and proposed solutions using machine learning for automation engineering, including code classification, finding similar code snippets, and hardware selection.
result Paragraph embedding techniques achieved an F1-score of 72% for classifying automation using code snippets, and autoencoder models for hardware recommendation achieved p@3 and p@5 of 0.79 and 0.95, respectively.
Automated strategies improve model adaptation efficiency.
problem Manual adaptation strategies are time-consuming and costly.
method Flexible adaptive mechanism deployment for automated adaptation strategies.
result Automated strategies achieve better or comparable performance.
Automated machine learning simplifies model selection and tuning.
problem Manual tuning of machine learning models by data scientists is time-consuming and requires extensive expertise.
method Review of AutoML techniques including automated feature engineering, model learning, and deep learning.
result Current AutoML techniques can significantly reduce the burden of manual tuning.
New automated market makers for multi-asset trading.
problem Liquidity management in multi-asset trading.
method Derived from self-financing transactions and rebalancing principles.
result Constant product market maker as a special case.
DriveML automates machine learning tasks in R.
problem Manual machine learning tasks are time-consuming and error-prone.
method Automated data preparation, feature engineering, model building, and model explanation.
result DriveML performs best across different parameters compared to other packages.
Automated tasks improve MTL models for various NLP tasks.
problem Improving performance of primary NLP tasks through MTL.
method Training on sequential secondary tasks like next word prediction.
result MTL models converge faster and perform better on various NLP tasks.
This paper reviews R packages for automating data analysis tasks.
problem Time-consuming Exploratory Data Analysis in large, noisy data sets.
method Systematic review of 12 R packages for autoEDA.
result Identifies automated tasks and areas for future development.
Automates size normalization for fashion items.
problem Reduce merchandise returns in e-commerce.
method Uses sales data to automate size mapping.
result Automated size mappings comparable to human-generated ones.
This study detects fake and automated accounts on Instagram.
problem Fake engagement on Instagram leads to financial loss and wrong audience targeting.
method Two datasets were created and machine learning algorithms like Naive Bayes, Logistic Regression, Support Vector Machines, Neural Networks, and cost-sensitive genetic algorithm were applied.
result 86% accuracy for automated accounts and 96% for fake accounts were achieved.
This research compiles knowledge on decentralized exchanges with AMM protocols.
problem Improving and developing AMM-based decentralized exchanges.
method Established a general AMM framework, compared mechanics, discussed security and privacy.
result Illustrated conservation and slippage functions of AMM protocols.
This paper explores SNNs for automated driving, promising low-power efficiency.
problem Power consumption and cost in embedded processors for automated driving.
method Overview of SNNs and their potential for automated driving.
result SNNs show potential for automated driving applications with low power consumption.
Fast, fully-automated histograms for large data sets.
problem Efficiently constructing histograms for large-scale data.
method G-Enum histograms using Minimum Description Length (MDL) principle for model selection and a greedy search heuristic.
result Construct histograms in linearithmic time, significantly faster than previous methods.
Automates infectious disease policy-making via inference in epidemiological models.
problem Improving policy-making for infectious diseases during pandemics.
method Performing inference in existing epidemiological models using a probabilistic programming language.
result Automated inference leads to better disease progression outcomes and policy prescriptions.
Paper surveys semantic segmentation for automated driving, highlighting challenges and solutions.
problem Semantic segmentation for automated driving.
method Taxonomic survey and empirical evaluation of semantic segmentation algorithms.
result Current semantic segmentation algorithms are not tailored for automated driving needs.
Automated market-making for CBDCs and stable coins on blockchain.
problem Creating fair exchange rates for digital assets on blockchain.
method Developed an innovative approach for generating fair exchange rates.
result Illustrated the approach's efficacy on G-10 currency exchange rates.
Study proposes automated framework for REM Sleep Behaviour Disorder detection.
problem Early detection of REM Sleep Behaviour Disorder (RBD) as a predictor of Parkinson's disease.
method Automated sleep staging followed by RBD identification using a Random Forest classifier and 156 features from EEG, EOG, and EMG channels.
result Automated RBD detection achieved 96% accuracy, surpassing individual established metrics.
New formula identifies and quantifies costs for automated market makers.
problem Adverse selection costs faced by liquidity providers in automated market makers.
method Derives a Black-Scholes-like formula for AMMs and identifies loss-versus-rebalancing cost.
result Closed-form expressions for LVR applicable to all automated market makers.
GPT-f uses language models to find new proofs in formal math.
problem Generating original mathematical terms for automated theorem proving.
method Transformer-based language model for automated theorem proving and proof assistant.
result GPT-f contributed new proofs to the Metamath library.
This paper improves transportation efficiency by teaching automated vehicles to cooperate.
problem Improving efficiency and safety of transportation systems with automated vehicles.
method Multi-agent graph reinforcement learning with attention mechanism.
result Automated vehicles can achieve better performance when learning to cooperate with each other.
Automated Bayesian inference for massive datasets with theoretical guarantees.
problem Intractable posterior inference in massive datasets.
method Hilbert coreset construction under log-likelihood space inner-product norm.
result Fully-automated, scalable Bayesian inference with theoretical guarantees.
New metric to measure liquidity position PNL, delta hedging algorithm for automated market makers.
problem Vulnerability of liquidity positions to price changes in underlying assets.
method Proposes a new metric for measuring PNL, delta hedging algorithm for various AMMs.
result New metric more accurately measures net value change due to price movement.
Automates feature selection for IoT analytics, reducing time from months to days.
problem Time-consuming and skill-demanding feature selection in IoT analytics.
method Machine learning techniques and pattern recognition principles.
result Reduces feature selection time from 4-6 months to 2 days.
Automated design using neural networks and gradient descent.
problem Optimizing complex engineering tasks.
method Training neural networks to mimic fitness functions and using gradient descent for optimization.
result Demonstrated effectiveness in designing optimized heat sinks and airfoils.
Paper proposes efficient cost functions for automated market makers in DeFi.
problem Inefficient and computationally complex cost functions in DeFi.
method Proposes and analyzes constant circle/ellipse based cost functions.
result Proposed cost functions are computationally efficient and robust against attacks.
Automated vehicles need efficient testing, which this method addresses.
problem Current testing practices are insufficient for automated vehicles.
method Gaussian Process Classification to identify performance boundaries.
result It is feasible to test for challenging scenarios more efficiently.
The paper shows that liquidity deficit drives market dynamics and proposes an automated trading machine.
problem Liquidity deficit as the driving force of market dynamics.
method Calculus-like approach based on Radon--Nikodym derivatives to calculate market dynamics. Developed a dynamic equation for future prices.
result The proposed automated trading machine shows promising results but is close to breakeven when fees are considered.
Automated denoising score matching handles nonlinear diffusion processes.
problem Nonlinear diffusion processes limit generative modeling and property estimation.
method Local-DSM using local increments and Taylor expansions.
result Tractable training and score estimation for nonlinear diffusion processes.
Review of automation's role in chemical discoveries.
problem Improving autonomous discovery in chemistry.
method Classification of discovery types, assessment of autonomy, case studies.
result Rapid advancements in automation and machine learning are transforming experimentation and modeling.
Survey on automating machine learning processes.
problem Automating the selection and tuning of machine learning algorithms.
method Comprehensive survey of techniques and frameworks.
result Reduction of human involvement in machine learning tasks.
Optimizes classifiers for varying levels of automation.
problem Supervised learning models often perform worse than human experts on specific instances.
method Focuses on convex margin-based classifiers, showing the problem is NP-hard. For SVMs, the objective function is decomposed into monotone and modular components, allowing efficient algorithms to solve the problem.
result The approach demonstrates that classifiers optimized for varying levels of automation can outperform full automation and human-only models.
We analyze impermanent loss in AMMs and show G3Ms are simplest.
problem Understanding impermanent loss in automated market makers.
method Developed a general framework and analyzed Geometric Mean Market Makers (G3Ms).
result G3Ms have the simplest impermanent loss characteristics.
Automated framework forecasts correlated time series in minutes.
problem Forecasting correlated time series with high accuracy and efficiency.
method Data-driven iterative pruning, zero-shot search, fast parameter adaptation.
result Framework achieves state-of-the-art accuracy and is faster than existing methods.
Traditional market makers are losing their importance as automated systems have largely assumed the role of liquidity provision in markets. We update the model of Glosten and Milgrom (1985) to analyze this new world: we add multiple securities and introduce an automated market maker who uses the relationships between s…
Automated testing improves deep learning model accuracy by 259.2%.
problem Ensuring robustness of deep learning models through automated testing.
method Jointly optimizing differential behaviors and neuron coverage; generating corner-cases; applying transformations and GANs.
result Deep learning model accuracy increased by 259.2% using automated generated corner cases.
Deep-learning CNN automates Cu alloy grain size evaluation.
problem Automating the evaluation of Cu alloy grain size to reduce labor and improve accuracy.
method Deep-learning convolutional neural network (CNN) for automated image acquisition and processing.
result Achieved 91.1% classification accuracy on Cu alloy sub-images.
Review of automation's role in chemical discovery, emphasizing future challenges.
problem Improving automation's contribution to chemical discovery.
method Analysis of exemplary studies and open research directions.
result Future autonomous systems need improvement in data handling, model building, and experiment automation.
Smart Close-out Netting aims to automate close-out netting processes.
problem Inefficiencies in close-out netting processes for financial institutions.
method Standardisation and automation of legal and regulatory processes using a data-driven framework and controlled natural language.
result Standardisation and automation can improve close-out netting processes for prudentially regulated financial institutions.
Adversarial validation detects concept drift in user targeting systems.
problem Concept drift in user targeting automation systems deteriorates model performance over time.
method Adversarial validation approach to detect and adapt to concept drift.
result Adversarial validation effectively addresses concept drift in user targeting systems.
New models optimize quotes for automated market makers considering various price dynamics and demand variability.
problem Optimizing quotes for automated market makers in volatile price environments.
method Advanced models incorporating stochastic volatility, jumps, Hawkes processes, and Markov-modulated Poisson processes.
result Optimal quotes can be computed using numerical methods tailored to each model.
Challenge aims to develop automated meningioma MRI segmentation models.
problem Lack of automated, objective tools for meningioma assessment.
method Develop and evaluate models on largest annotated dataset.
result Improved care of patients with meningioma through automated segmentation.
DFMM automates market making with adaptive pricing and risk management.
problem Challenges in decentralised automated market making (AMMs).
method Data aggregator, order routing, rebalancing, arbitrageurs, protective buffers, algorithmic accounting.
result DFMM optimises inventory risk and ensures market stability.
Automated radar data labeling using GNSS improves efficiency without sacrificing accuracy.
problem Manual annotation of automotive radar data is time-consuming and error-prone.
method The article introduces an automated system using GNSS to acquire data labels.
result The proposed method provides clear advantages in time savings with minimal data distortion.
AMOS automates model order selection for spectral graph clustering.
problem Automated selection of the correct number of clusters in spectral graph clustering.
method Incrementally increases the number of clusters, estimates cluster quality, and provides reliability tests.
result AMOS outputs clusters of minimal model order with statistical guarantees.