8 papers · ranked by Valyu relevance
Tristan Deleu, Tobias Würfl, Mandana Samiei, Joseph Cohen + 1 more
'Yoshua Bengio'] The constant introduction of standardized benchmarks in the literature has helped accelerating the recent advances in meta-learning research. They offer a way to get a fair comparison between different algorithms, and the wide range of datasets available allows full control over the complexity of this…
Jingyao Wang, Chuyuan Zhang, Ye Ding, Yuxuan Yang
—Artificial intelligence technology has already had a profound impact in various fields such as economy, industry, and education, but still limited. Meta-learning, also known as "learning to learn", provides an opportunity for general artificial intelligence, which can break through the current AI bottleneck. However…
Serena Cofano, Giacomo Benedetti, Matteo Dell’Amico
Our analysis highlights issues related to dependency versions, metadata files, remote dependencies, and optional dependencies. Additionally, we identified a systematic issue with the lack of standards for metadata in the PyPI ecosystem. This includes inconsistencies in the presence of metadata files as well as…
Brandon T. Willard
In this article, we give a brief overview of the current state and future potential of symbolic computation within the Python statistical modeling and machine learning community. We detail the use of miniKanren (Byrd 2009) as an underlying framework for term rewriting and symbolic mathematics, as well as its ability to…
Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt
Although run-time language composition is common, it normally takes the form of a crude Foreign Function Interface (FFI). While useful, such compositions tend to be coarse-grained and slow. In this paper we introduce a novel fine-grained syntactic composition of PHP and Python which allows users to embed each language…
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun + 1 more
'Lucas C. Cordeiro'] This paper introduces a tool for verifying Python programs, which, using type annotation and front-end processing, can harness the capabilities of a bounded model-checking (BMC) pipeline. It transforms an input program into an abstract syntax tree to infer and add type information. Then, it…
Eftychia Eva Kontou, Axel Walter, Oliver Alka, Julianus Pfeuffer + 5 more
Metabolomics experiments generate highly complex datasets, which are time and work-intensive, sometimes even error-prone if inspected manually. Therefore, new methods for automated, fast, reproducible, and accurate data processing and dereplication are required. Here, we present UmetaFlow, a computational workflow for…
Robert Dyer, Jigyasa Chauhan
Python is a multi-paradigm programming language that fully supports object-oriented (OO) programming. The language allows writing code in a non-procedural imperative manner, using procedures, using classes, or in a functional style. To date, no one has studied what paradigm(s), if any, are predominant in Python code…