English
Related papers

Related papers: Ariadne: Analysis for Machine Learning Program

200 papers

Over the last few years, with the growth of time-series collecting and storing, there has been a great demand for tools and software for temporal data engineering and modeling. This paper presents a generic workflow for time series data…

Computational Engineering, Finance, and Science · Computer Science 2023-10-24 Pejman Farhadi Ghalati , Andreas Schuppert

We present ShapeFlow, a dynamic abstract interpreter for TensorFlow which quickly catches tensor shape incompatibility errors, one of the most common bugs in deep learning code. ShapeFlow shares the same APIs as TensorFlow but only captures…

Machine Learning · Computer Science 2020-11-30 Sahil Verma , Zhendong Su

The application of TensorFlow pre-trained models in deep learning is explored, with an emphasis on practical guidance for tasks such as image classification and object detection. The study covers modern architectures, including ResNet,…

We present an automatic static analyzer PyTea that detects tensor-shape errors in PyTorch code. The tensor-shape error is critical in the deep neural net code; much of the training cost and intermediate results are to be lost once a tensor…

Machine Learning · Computer Science 2021-12-17 Ho Young Jhoo , Sehoon Kim , Woosung Song , Kyuyeon Park , DongKwon Lee , Kwangkeun Yi

Machine-learning automation tools, ranging from humble grid-search to hyperopt, auto-sklearn, and TPOT, help explore large search spaces of possible pipelines. Unfortunately, each of these tools has a different syntax for specifying its…

Programming Languages · Computer Science 2019-06-11 Martin Hirzel , Kiran Kate , Avraham Shinnar , Subhrajit Roy , Parikshit Ram

The rapid development of AI-based products and their underlying models has led to constant innovation in deep learning frameworks. Google has been pioneering machine learning usage across dozens of products. Maintaining the multitude of…

Software Engineering · Computer Science 2026-03-31 Stoyan Nikolov , Bernhard Konrad , Moritz Gronbach , Niket Kumar , Ann Yan , Varun Singh , Yaning Liang , Parthasarathy Ranganathan

We introduce the Python program THALAS (TensorFlow Hydrodynamics Analysis for Lyman-Alpha Simulations), which maps baryon fields (baryon density, temperature, and velocity) to Ly$\alpha$ optical depth fields in both real space and redshift…

Cosmology and Nongalactic Astrophysics · Physics 2024-07-24 Jupiter Ding , Benjamin Horowitz , Zarija Lukić

Data assimilation (DA) is a fundamental component of modern weather prediction, yet it remains a major computational bottleneck in machine learning (ML)-based forecasting pipelines due to reliance on traditional variational methods. Recent…

Machine Learning · Computer Science 2026-02-09 Ran Cheng , Lailai Zhu

In recent years, persistent homology has become an attractive method for data analysis. It captures topological features, such as connected components, holes, and voids from point cloud data and summarizes the way in which these features…

Mathematical Software · Computer Science 2018-09-17 Alan Hylton , Gregory Henselman-Petrusek , Janche Sang , Robert Short

The number of machine learning, artificial intelligence or data science related software engineering projects using Agile methodology is increasing. However, there are very few studies on how such projects work in practice. In this paper,…

Software Engineering · Computer Science 2019-12-17 Kushal Singla , Joy Bose , Chetan Naik

Noisy data, non-convex objectives, model misspecification, and numerical instability can all cause undesired behaviors in machine learning systems. As a result, detecting actual implementation errors can be extremely difficult. We…

Software Engineering · Computer Science 2017-06-28 Daniel Selsam , Percy Liang , David L. Dill

This paper presents a novel learning analytics method: Transition Network Analysis (TNA), a method that integrates Stochastic Process Mining and probabilistic graph representation to model, visualize, and identify transition patterns in the…

Social and Information Networks · Computer Science 2025-02-06 Mohammed Saqr , Sonsoles López-Pernas , Tiina Törmänen , Rogers Kaliisa , Kamila Misiejuk , Santtu Tikka

Automation services for complex business processes usually require a high level of information technology literacy. There is a strong demand for a smartly assisted process automation (IPA: intelligent process automation) service that…

Artificial Intelligence · Computer Science 2020-01-09 Nobuhiro Ito , Yuya Suzuki , Akiko Aizawa

Aiming to mitigate the temporal inconsistency in eddy covariance (EC) flux observations, an ultra-wide neural network structure is constructed based on the TensorFlow framework, with which the artificial neural networks (ANNs) are more…

Atmospheric and Oceanic Physics · Physics 2020-01-10 Zheng Jin

Increasingly more research areas rely on machine learning methods to accelerate discovery while saving resources. Machine learning models, however, usually require large datasets of experimental or computational results, which in certain…

Machine Learning · Computer Science 2024-10-24 Elizaveta Surzhikova , Jonny Proppe

Agentic workflows in large language model systems integrate retrieval, reasoning, and memory, but existing frameworks suffer from scalability and reproducibility limitations due to fragmented data orchestration, serialization overhead, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-05 Arup Kumar Sarker , Mills Staylor , Aymen Alsaadi , Gregor von Laszewski , Shantenu Jha , Geoffrey Fox

To help researchers conduct a systematic review or meta-analysis as efficiently and transparently as possible, we designed a tool (ASReview) to accelerate the step of screening titles and abstracts. For many tasks - including but not…

Flow analysis is a ubiquitous and much-studied component of compiler technology---and its variations abound. Amongst the most well known is Shivers' 0CFA; however, the best known algorithm for 0CFA requires time cubic in the size of the…

Programming Languages · Computer Science 2013-11-25 David Van Horn , Harry G. Mairson

New and upgraded radio interferometers produce data at massive rates and will require significant improvements in analysis techniques to reach their promised levels of performance in a routine manner. Until these techniques are fully…

Instrumentation and Methods for Astrophysics · Physics 2012-06-29 Peter K. G. Williams , Casey J. Law , Geoffrey C. Bower

The rapid advancement of models based on artificial intelligence demands innovative monitoring techniques which can operate in real time with low computational costs. In machine learning, especially if we consider artificial neural networks…

Methodology · Statistics 2023-11-10 Anna Malinovskaya , Pavlo Mozharovskyi , Philipp Otto