English
Related papers

Related papers: NZMATH 1.0

200 papers

We provide an overview of the xFitter open-source software package, review the general capabilities of the program, and highlight applications relevant to the Snowmass study. An updated version of the program (2.2.0) is available on CERN…

Probabilistic numerical methods (PNMs) solve numerical problems via probabilistic inference. They have been developed for linear algebra, optimization, integration and differential equation simulation. PNMs naturally incorporate prior…

Additive models offer accurate and interpretable predictions for tabular data, a critical tool for statistical modeling. Recent advances in Neural Additive Models (NAMs) allow these models to handle complex machine learning tasks, including…

Machine Learning · Computer Science 2025-03-12 Mike Van Ness , Madeleine Udell

In this paper we present an open source framework developed in Python and consisting of three distinct classes designed to manipulate in a simple and intuitive way both symbolic representations of neutrosophic sets over universes of various…

Artificial Intelligence · Computer Science 2024-04-10 Giorgio Nordo , Saeid Jafari , Arif Mehmood , Bhimraj Basumatary

We present and release Omnizart, a new Python library that provides a streamlined solution to automatic music transcription (AMT). Omnizart encompasses modules that construct the life-cycle of deep learning-based AMT, and is designed for…

Sound · Computer Science 2021-06-02 Yu-Te Wu , Yin-Jyun Luo , Tsung-Ping Chen , I-Chieh Wei , Jui-Yang Hsu , Yi-Chin Chuang , Li Su

In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific…

Logic · Mathematics 2019-05-21 Danko Ilik

We present Aryabhata 1.0, a compact 7B parameter math reasoning model optimized for the Indian academic exam, the Joint Entrance Examination (JEE). Despite rapid progress in large language models (LLMs), current models often remain…

Artificial Intelligence · Computer Science 2025-08-14 Ritvik Rastogi , Sachin Dharashivkar , Sandeep Varma

Studying facial expressions is a notoriously difficult endeavor. Recent advances in the field of affective computing have yielded impressive progress in automatically detecting facial expressions from pictures and videos. However, much of…

Computer Vision and Pattern Recognition · Computer Science 2023-03-09 Jin Hyun Cheong , Eshin Jolly , Tiankang Xie , Sophie Byrne , Matthew Kenney , Luke J. Chang

Pattern matching is a powerful tool for symbolic computations, based on the well-defined theory of term rewriting systems. Application domains include algebraic expressions, abstract syntax trees, and XML and JSON data. Unfortunately, no…

Programming Languages · Computer Science 2017-10-20 Manuel Krebber , Henrik Barthels , Paolo Bientinesi

Helix is an open-source, extensible, Python-based software framework to facilitate reproducible and interpretable machine learning workflows for tabular data. It addresses the growing need for transparent experimental data analytics…

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…

Software Engineering · Computer Science 2024-07-08 Bruno Farias , Rafael Menezes , Eddie B. de Lima Filho , Youcheng Sun , Lucas C. Cordeiro

Since Lorenz's seminal work on a simplified weather model, the numerical analysis of nonlinear dynamical systems has become one of the main subjects of research in physics. Despite of that, there remains a need for accessible, efficient,…

The increasing adoption of artificial intelligence in telecommunications has raised interest in the capability of Large Language Models (LLMs) to address domain-specific, mathematically intensive tasks. Although recent advancements have…

Artificial Intelligence · Computer Science 2025-06-13 Vincenzo Colle , Mohamed Sana , Nicola Piovesan , Antonio De Domenico , Fadhel Ayed , Merouane Debbah

This paper introduces SGNMT, our experimental platform for machine translation research. SGNMT provides a generic interface to neural and symbolic scoring modules (predictors) with left-to-right semantic such as translation models like NMT,…

Computation and Language · Computer Science 2017-07-24 Felix Stahlberg , Eva Hasler , Danielle Saunders , Bill Byrne

A key feature of information theory is its universality, as it can be applied to study a broad variety of complex systems. However, many information-theoretic measures can vary significantly even across systems with similar properties,…

Information Theory · Computer Science 2024-10-16 Alberto Liardi , Fernando E. Rosas , Robin L. Carhart-Harris , George Blackburne , Daniel Bor , Pedro A. M. Mediano

NIFTY, "Numerical Information Field Theory", is a software package designed to enable the development of signal inference algorithms that operate regardless of the underlying spatial grid and its resolution. Its object-oriented framework is…

Instrumentation and Methods for Astrophysics · Physics 2013-06-06 Marco Selig , Michael R. Bell , Henrik Junklewitz , Niels Oppermann , Martin Reinecke , Maksim Greiner , Carlos Pachajoa , Torsten A. Enßlin

Stellar spectral classification according to the Morgan-Keenan (MK) system remains fundamental to astrophysical studies, yet modern surveys require automated, scalable tools. We present NutMaat, an open-source Python-based package inspired…

Solar and Stellar Astrophysics · Physics 2025-08-19 R. I. El-Kholy , Z. M. Hayman

OpenML is an online platform for open science collaboration in machine learning, used to share datasets and results of machine learning experiments. In this paper we introduce OpenML-Python, a client API for Python, opening up the OpenML…

Novelpy (v1.2) is an open-source Python package designed to compute bibliometrics indicators. The package aims to provide a tool to the scientometrics community that centralizes different measures of novelty and disruptiveness, enables…

Digital Libraries · Computer Science 2022-11-21 Pierre Pelletier , Kevin Wirtz

zbMATH Open has started a new feature -- relevant preprints posted at arXiv will also be displayed in the database. In this article we introduce this new feature and the underlying editorial policy. We also describe some of the technical…

Digital Libraries · Computer Science 2024-01-17 Isabel Beckenbach , Klaus Hulek , Olaf Teschke