Automates identifying interesting plots in production yield data.
problem Identifying plots deemed interesting by analysts in production yield data.
method Uses Generative Adversarial Networks (GANs) to learn analyst's intent.
result Demonstrates improved identification of interesting plots in production yield data.
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 presents an approach for automation of interpretable feature selection for Internet Of Things Analytics (IoTA) using machine learning (ML) techniques. Authors have conducted a survey over different people involved in different IoTA based application development tasks. The survey reveals that feature selectio…
Modeling price dynamics in AMMs with fees using geometric Brownian motion.
problem Understanding price dynamics in AMMs with transaction fees.
method Geometric Brownian motion, local times, excursion theory.
result Derivation of time-changed representation and limiting behavior of AMM prices.
Automated image annotation improves model training accuracy.
problem Training deep learning models with labeled data.
method Combining wireless localization and cameras for automatic image annotation.
result Demonstrated feasibility and benefits of automatic annotation.
Automated method bounds causal effects in discrete data.
problem Partial identification of causal effects in discrete settings.
method Polynomial programming and dual relaxation for automated bounds.
result Algorithm provides guaranteed non-sharp and ε-sharp bounds. Survey on automating geometry problem solving with large models.
problem Automating geometric problem solving with spatial understanding and logical reasoning.
method Synthesizes GPS advancements through benchmark construction, parsing, and reasoning paradigms.
result Unified analytical paradigm and emerging opportunities identified.
System uses machine learning and automated reasoning to speed up PBE synthesis.
problem Slow synthesis in PBE due to domain-specific knowledge and large training datasets.
method Preprocess SyGuS PBE problems with a neural network to reduce search space, then use automated reasoning for faster solution.
result System outperforms all competing tools in the 2019 SyGuS Competition for the PBE Strings track by 47.65%.
Deciding effective and timely preventive measures against complex social problems affecting relatively low income geographies is a difficult challenge. There is a strong need to adopt intelligent automation based solutions with low cost imprints to tackle these problems at larger scales. Starting with the hypothesis th…
This work analyzes impermanent loss in decentralized markets and provides a hedging strategy.
problem Impermanent loss in automated market makers (AMMs).
method Analytical derivation of a static replication formula using European options, and numerical example with real data.
result Guaranteed hedging coverage for all final prices within a predefined interval.
The paper examines statistical properties of IL and LVR in automated market makers.
problem Assessing the performance of automated market makers and their profitability.
method Analysis of random walk properties and statistical integral combined with CFMM mechanics.
result IL and LVR have identical expectation values but different distribution functions for Brownian motion.
Statistical analysis (SA) is a complex process to deduce population properties from analysis of data. It usually takes a well-trained analyst to successfully perform SA, and it becomes extremely challenging to apply SA to big data applications. We propose to use deep neural networks to automate the SA process. In parti…
Study improves document processing in banking with multimodal analytics.
problem Raising operational efficiency in banking through document-intensive processes.
method Comparative analysis of text classifiers and multimodal model (LayoutXLM) on company register extracts.
result Incorporating layout information in a model substantially increases performance.
Software automates metabolomics data analysis for reproducible results.
problem Automating reproducible metabolomics data analysis.
method Object-oriented software engineering, Java, XML database, GUI, version control system.
result MeKDDaM-SAGA successfully guides metabolomics applications.
We present a new algorithm for approximate inference in probabilistic programs, based on a stochastic gradient for variational programs. This method is efficient without restrictions on the probabilistic program; it is particularly practical for distributions which are not analytically tractable, including highly struc…
The paper establishes axioms for AMMs to ensure fair pricing and fee structures.
problem Ensuring fair and efficient pricing in decentralized finance (DeFi) AMMs.
method Formulating axioms on utility functions to characterize swap sizes and pricing oracles.
result Most existing AMMs satisfy the proposed axioms, and a new AMM is proposed with desirable properties.
Visual analytics tool detects and corrects concept drift in data streams.
problem Concept drift causes inaccurate predictions in evolving data.
method DriftVis combines drift detection and visualization.
result Visual analytics supports detection, examination, and correction of concept drift.
We present and implement two algorithms for analytic asymptotic evaluation of the marginal likelihood of data given a Bayesian network with hidden nodes. As shown by previous work, this evaluation is particularly hard for latent Bayesian network models, namely networks that include hidden variables, where asymptotic ap…
PySR method automates discovering equations from data in chaotic dynamics and epidemics.
problem Discovering equations from complex data in dynamical systems.
method Symbolic regression methods, focusing on PySR.
result PySR method efficiently infers equations from chaotic dynamics and epidemic models, matching original forms.
Optimizes hedge ratio for delta-neutral liquidity positions in AMMs.
problem Balancing price exposure and liquidation risk in borrowing-funded delta-neutral positions.
method Model token prices as correlated geometric Brownian motions, derive optimal hedge ratio maximizing risk-adjusted return subject to liquidation probability constraint.
result Optimal hedge ratio h** = min(h*, h_bar(alpha)) lies between 50% and 70% for typical DeFi lending conditions.
This paper presents a new method for solving systems with polynomial stiffness.
problem Finding analytical solutions to nonlinear differential equations with polynomial stiffness is challenging.
method The paper introduces a geometric/algebraic method using generating series and shuffle product.
result The method provides a recursive schematic that can be automated and applied to systems with polynomial stiffness.
This paper explores how to interpret machine learning models in business process analytics.
problem The lack of interpretability in machine learning models used for predictive process analytics.
method Derives explanations using interpretable machine learning techniques to compare and contrast predictive models.
result Highlights scenarios where accuracy alone may not be sufficient in assessing the suitability of techniques used to encode event log data.
This paper presents an automated approach for interpretable feature recommendation for solving signal data analytics problems. The method has been tested by performing experiments on datasets in the domain of prognostics where interpretation of features is considered very important. The proposed approach is based on Wi…
A novel method automates quality control of fMRI scans, improving accuracy and generalizability.
problem Lack of automated QC for fMRI scans limits clinical neuroscience research.
method Train machine learning classifiers using runtime log features to predict scan quality.
result Classifiers trained on FLAG-QC features outperform previous methods (AUC=0.79 vs AUC=0.56).
DAG-LSTM improves DA classification in group chats.
problem DA classification in multi-party conversations.
method Directed-Acyclic-Graph LSTM (DAG-LSTM) exploiting turn-taking structure.
result DAG-LSTM outperforms existing methods by 0.8% in accuracy and 1.2% in macro-F1 score.
New trading model uses self-organization for real-world complexity.
problem Traditional trading models are too analytical for real-world conditions.
method Embraces self-organization, complex systems theory, and event-based time.
result Example Delta Engine algorithm demonstrates effectiveness.
This paper surveys smart buildings using machine learning and big data.
problem Improving comfort and efficiency in smart buildings through data analysis.
method Survey of machine learning and big data techniques for smart buildings.
result Machine learning and big data are crucial for smart building services.
Deep neural network detects falls from IoT sensor data.
problem Detecting irregular patterns in IoT streaming data for fall detection.
method Deep neural network model using accelerometer data.
result 98.75 percent accuracy in detecting falls.
DBOT uses AI to automate long-term stock valuation.
problem Automating long-term stock valuation using AI.
method DBOT uses generative AI to reason about company valuations.
result DBOT can value any publicly traded company and is comparable to Aswath Damodaran.
Enhances anomaly detection in financial markets using AI agents.
problem Manual verification of financial market anomalies is time-consuming and error-prone.
method A multi-agent LLM framework for automated anomaly detection.
result Framework reduces human intervention and improves efficiency and accuracy.
Semi-supervised learning method augments minority class examples for robust anomaly detection in clinical signals.
problem Class imbalance in minority class instances impairs robustness of clinical analytics solutions.
method Intelligent augmentation of minority class examples to balance class distribution and construct a smooth decision boundary.
result The proposed method outperforms state-of-the-art algorithms in anomaly detection for clinical signals.
Predictive analytics classify self-care problems in children with disability using ICF-CY.
problem Complex classification of functioning and disability in children with ICF-CY.
method Implemented Random Forest, SVM, Naive Bayes, Hoeffding tree, and Lazy locally weighted learning; used Boruta for dimensionality reduction.
result Random Forest achieved 84.75% classification accuracy.
We propose to learn a kernel-based message operator which takes as input all expectation propagation (EP) incoming messages to a factor node and produces an outgoing message. In ordinary EP, computing an outgoing message involves estimating a multivariate integral which may not have an analytic expression. Learning suc…
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.
New method recovers PDEs from noisy data, even when conditions are violated.
problem Discovering PDEs from noisy, limited data.
method Randomized adaptive Lasso integrated into DeepMod.
result Recovery of PDEs with higher noise-to-sample ratios and single hyperparameters.
Automating the customer analytics process is crucial for companies that manage distinct customer bases. In such data-rich and dynamic environments, visualization plays a key role in understanding events of interest. These ideas have led to the popularity of analytics dashboards, yet academic research has paid scant att…
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.
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.
This paper models AMM positions using CI options to calculate LVR and provide actionable guidance.
problem Calculating and managing adverse-selection costs in automated market makers (AMMs).
method Modeling AMM positions as perpetual American CI options to replicate delta and calculate LVR.
result LVR is identical to theta of CI options, and AMM positions have approximately constant LVR over long windows.
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.
Multimodal analysis assesses job interview performance and provides feedback.
problem Assessing candidate performance in interviews for professional roles.
method Multimodal analytical framework using video, audio, and text data.
result The proposed methodology achieved promising results in predicting behavioral cues.
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.
Study coevolutionary trading-agent dynamics in continuous strategies.
problem Understanding adaptive trading-agent interactions in complex markets.
method Experimental study of adaptive automated trading agents in a continuous strategy space.
result High-dimensional coevolutionary dynamics pose challenges in market analysis.
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.
New formula calculates loss from arbitrage in blockchain liquidity pools.
problem Calculating loss from arbitrage in Automated Market Makers (AMMs) under varying block times.
method Derived a closed-form approximation for expected loss using random walk theory.
result The formula approximates the loss from arbitrage with high accuracy and shows that constant block intervals minimize this loss.
We perform detailed computations of Lie algebras of infinitesimal CR-automorphisms associated to three specific model real analytic CR-generic submanifolds in C^9 by employing differential algebra computer tools -- mostly within the Maple package DifferentialAlgebra -- in order to automate the handling of the arising h…