-
ExpProof : Operationalizing Explanations for Confidential Models with ZKPs
Authors:
Chhavi Yadav,
Evan Monroe Laufer,
Dan Boneh,
Kamalika Chaudhuri
Abstract:
In principle, explanations are intended as a way to increase trust in machine learning models and are often obligated by regulations. However, many circumstances where these are demanded are adversarial in nature, meaning the involved parties have misaligned interests and are incentivized to manipulate explanations for their purpose. As a result, explainability methods fail to be operational in su…
▽ More
In principle, explanations are intended as a way to increase trust in machine learning models and are often obligated by regulations. However, many circumstances where these are demanded are adversarial in nature, meaning the involved parties have misaligned interests and are incentivized to manipulate explanations for their purpose. As a result, explainability methods fail to be operational in such settings despite the demand \cite{bordt2022post}. In this paper, we take a step towards operationalizing explanations in adversarial scenarios with Zero-Knowledge Proofs (ZKPs), a cryptographic primitive. Specifically we explore ZKP-amenable versions of the popular explainability algorithm LIME and evaluate their performance on Neural Networks and Random Forests. Our code is publicly available at https://github.com/emlaufer/ExpProof.
△ Less
Submitted 29 May, 2025; v1 submitted 5 February, 2025;
originally announced February 2025.
-
DiffMoog: a Differentiable Modular Synthesizer for Sound Matching
Authors:
Noy Uzrad,
Oren Barkan,
Almog Elharar,
Shlomi Shvartzman,
Moshe Laufer,
Lior Wolf,
Noam Koenigstein
Abstract:
This paper presents DiffMoog - a differentiable modular synthesizer with a comprehensive set of modules typically found in commercial instruments. Being differentiable, it allows integration into neural networks, enabling automated sound matching, to replicate a given audio input. Notably, DiffMoog facilitates modulation capabilities (FM/AM), low-frequency oscillators (LFOs), filters, envelope sha…
▽ More
This paper presents DiffMoog - a differentiable modular synthesizer with a comprehensive set of modules typically found in commercial instruments. Being differentiable, it allows integration into neural networks, enabling automated sound matching, to replicate a given audio input. Notably, DiffMoog facilitates modulation capabilities (FM/AM), low-frequency oscillators (LFOs), filters, envelope shapers, and the ability for users to create custom signal chains. We introduce an open-source platform that comprises DiffMoog and an end-to-end sound matching framework. This framework utilizes a novel signal-chain loss and an encoder network that self-programs its outputs to predict DiffMoogs parameters based on the user-defined modular architecture. Moreover, we provide insights and lessons learned towards sound matching using differentiable synthesis. Combining robust sound capabilities with a holistic platform, DiffMoog stands as a premier asset for expediting research in audio synthesis and machine learning.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Friend or Foe? Exploring the Implications of Large Language Models on the Science System
Authors:
Benedikt Fecher,
Marcel Hebing,
Melissa Laufer,
Jörg Pohle,
Fabian Sofsky
Abstract:
The advent of ChatGPT by OpenAI has prompted extensive discourse on its potential implications for science and higher education. While the impact on education has been a primary focus, there is limited empirical research on the effects of large language models (LLMs) and LLM-based chatbots on science and scientific practice. To investigate this further, we conducted a Delphi study involving 72 exp…
▽ More
The advent of ChatGPT by OpenAI has prompted extensive discourse on its potential implications for science and higher education. While the impact on education has been a primary focus, there is limited empirical research on the effects of large language models (LLMs) and LLM-based chatbots on science and scientific practice. To investigate this further, we conducted a Delphi study involving 72 experts specialising in research and AI. The study focused on applications and limitations of LLMs, their effects on the science system, ethical and legal considerations, and the required competencies for their effective use. Our findings highlight the transformative potential of LLMs in science, particularly in administrative, creative, and analytical tasks. However, risks related to bias, misinformation, and quality assurance need to be addressed through proactive regulation and science education. This research contributes to informed discussions on the impact of generative AI in science and helps identify areas for future action.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
accelerating wrf i/o performance with adios2 and network-based streaming
Authors:
Erick Fredj,
Yann Delorme,
Sameeh Jubran,
Mark Wasserman,
Zhaohui Ding,
Michael Laufer
Abstract:
With the approach of Exascale computing power for large-scale High Performance Computing (HPC) clusters, the gap between compute capabilities and storage systems is growing larger. This is particularly problematic for the Weather Research and Forecasting Model (WRF), a widely-used HPC application for high-resolution forecasting and research that produces sizable datasets, especially when analyzing…
▽ More
With the approach of Exascale computing power for large-scale High Performance Computing (HPC) clusters, the gap between compute capabilities and storage systems is growing larger. This is particularly problematic for the Weather Research and Forecasting Model (WRF), a widely-used HPC application for high-resolution forecasting and research that produces sizable datasets, especially when analyzing transient weather phenomena. Despite this issue, the I/O modules within WRF have not been updated in the past ten years, resulting in subpar parallel I/O performance.
This research paper demonstrates the positive impact of integrating ADIOS2, a next-generation parallel I/O framework, as a new I/O backend option in WRF. It goes into detail about the challenges encountered during the integration process and how they were addressed. The resulting I/O times show an over tenfold improvement when using ADIOS2 compared to traditional MPI-I/O based solutions. Furthermore, the study highlights the new features available to WRF users worldwide, such as the Sustainable Staging Transport (SST) enabling Unified Communication X (UCX) DataTransport, the node-local burst buffer write capabilities and in-line lossless compression capabilities of ADIOS2.
Additionally, the research shows how ADIOS2's in-situ analysis capabilities can be smoothly integrated with a simple WRF forecasting pipeline, resulting in a significant improvement in overall time to solution. This study serves as a reminder to legacy HPC applications that incorporating modern libraries and tools can lead to considerable performance enhancements with minimal changes to the core application.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
High Performance Parallel I/O and In-Situ Analysis in the WRF Model with ADIOS2
Authors:
Michael Laufer,
Erick Fredj
Abstract:
As the computing power of large-scale HPC clusters approaches the Exascale, the gap between compute capabilities and storage systems is ever widening. In particular, the popular High Performance Computing (HPC) application, the Weather Research and Forecasting Model (WRF) is being currently being utilized for high resolution forecasting and research which generate very large datasets, especially w…
▽ More
As the computing power of large-scale HPC clusters approaches the Exascale, the gap between compute capabilities and storage systems is ever widening. In particular, the popular High Performance Computing (HPC) application, the Weather Research and Forecasting Model (WRF) is being currently being utilized for high resolution forecasting and research which generate very large datasets, especially when investigating transient weather phenomena. However, the I/O options currently available in WRF have been found to be a bottleneck at scale.
In this work, we demonstrate the impact of integrating a next-generation parallel I/O framework - ADIOS2, as a new I/O backend option in WRF. First, we detail the implementation considerations, setbacks, and solutions that were encountered during the integration. Next we examine the results of I/O write times and compare them with results of currently available WRF I/O options. The resulting I/O times show over an order of magnitude speedup when using ADIOS2 compared to classic MPI-I/O based solutions. Additionally, the node-local burst buffer write capabilities as well as in-line lossless compression capabilities of ADIOS2 are showcased, further boosting performance. Finally, usage of the novel ADIOS2 in-situ analysis capabilities for weather forecasting is demonstrated using a WRF forecasting pipeline, showing a seamless end-to-end processing pipeline that occurs concurrently with the execution of the WRF model, leading to a dramatic improvement in total time to solution.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
A Misanthropic Reinterpretation of the Chinese Room Problem
Authors:
Michael S. Laufer
Abstract:
The chinese room problem asks if computers can think; I ask here if most humans can.
The chinese room problem asks if computers can think; I ask here if most humans can.
△ Less
Submitted 26 October, 2013;
originally announced November 2013.
-
Artificial Intelligence in Humans
Authors:
Michael Swan Laufer
Abstract:
In this paper, I put forward that in many instances, thinking mechanisms are equivalent to artificial intelligence modules programmed into the human mind.
In this paper, I put forward that in many instances, thinking mechanisms are equivalent to artificial intelligence modules programmed into the human mind.
△ Less
Submitted 30 October, 2013;
originally announced November 2013.
