Publications related to Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Related publications (49)

Integer Linear Programming for Unsupervised Training Set Selection in Molecular Machine Learning

Anne-Clémence Corminboeuf, Friedrich Eisenbrand, Rubén Laplaza Solanas, Puck Elisabeth van Gerwen, Ksenia Briling, Jan Weinreich, Matthieu Nicolas Haeberle

Integer linear programming (ILP) is an elegant approach to solve linear optimization problems, naturally described using integer decision variables. Within the context of physics-inspired machine learning (ML) applied to chemistry, we demonstrate the relev ...

IOP Publishing Ltd2025

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Paul Scharnhorst

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

EPFL2024

On the added value of sequential deep learning for the upscaling of evapotranspiration

Devis Tuia

Estimating ecosystem-atmosphere fluxes such as evapotranspiration (ET) in a robust manner and at a global scale remains a challenge. Methods based on machine learning (ML) have shown promising results in achieving such upscaling, providing a complementary ...

2025

Succinct ordering and aggregation constraints in algebraic array theories

Viktor Kuncak, Rodrigo Raya

We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...

Elsevier Science Inc2024

Combining physics-based and data-driven models: advancing the frontiers of research with scientific machine learning

Alfio Quarteroni

Scientific Machine Learning (SciML) is a recently emerged research field which combines physics-based and data-driven models for the numerical approximation of differential problems. Physics-based models rely on the physical understanding of the problem at ...

2025

Probabilistic and Deterministic Wellposedness for Low Regularity Dispersive Equations

Katie Sabrina Catherine Rosie Marsden

In this thesis we will present two results on global existence for nonlinear dispersive equations with data at or below the scaling regularity. In chapter 1 we take a probabilistic perspective to study the energy-critical nonlinear Schrödinger equation in ...

EPFL2024

Convex Computation of Value-at-risk Bounds for Stochastic Processes

Matteo Raphael Tacchi

This article formulates algorithms to upper-bound the maximum value-at-risk (VaR) of a state function along trajectories of stochastic processes. The VaR is upper bounded by two methods: minimax tail-bounds (Cantelli/Vysochanskij-Petunin) and Expected Shor ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2025

The Cost of Consistency: Submodular Maximization with Constant Recourse

Ola Nils Anders Svensson

In this work, we study online submodular maximization and how the requirement of maintaining a stable solution impacts the approximation. In particular, we seek bounds on the best-possible approximation ratio that is attainable when the algorithm is allowe ...

ACM2025

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

Nagammal Neelagandan

Genes implicated in translation control have been associated with autism spectrum disorders (ASDs). However, some important genetic causes of autism, including the 16p11.2 microdeletion, bear no obvious connection to translation. Here, we use proteomics, g ...

Amer Assoc Advancement Science2024

Machine learning-enabled estimation of cardiac output from peripheral waveforms is independent of blood pressure measurement location in an in silico population

Ramin Mohammadi, Nikolaos Stergiopoulos, Georgios Rovas, Lydia Aslanidou, Sokratis Anagnostopoulos

Monitoring of cardiac output (CO) is a mainstay of hemodynamic management in the acutely or critically ill patient. Invasive determination of CO using thermodilution, albeit regarded as the gold standard, is cumbersome and bears risks inherent to catheteri ...

2025

Reliable data-driven decision-making through optimal transport

Bahar Taskesen

Decision-making permeates every aspect of human and societal development, from individuals' daily choices to the complex decisions made by communities and institutions. Central to effective decision-making is the discipline of optimization, which seeks th ...

EPFL2024

Enabling Deep Learning Models for Seizure Monitoring within Wearables Lifecycle

Alireza Amirshahi

Continuous monitoring of various physiological conditions enables early detection of potential health issues. The monitoring offers real-time insights into patient well-being and rapid medical interventions. As a case study, in epilepsy, a prevalent neurol ...

EPFL2025

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Application and use of sustainability indicators by local governments, and their determinants: a Swiss case study

Anne Frédérique Cécile Noémi Bösch

Context: The use of evidence in policymaking can take various forms, and resorting to quantitative indicators is one of them. In the past 30 years, a plethora of indicator-based initiatives for assessing and monitoring progress towards sustainability have ...

EPFL2025

Nanoindentation hardness and modulus of Al2O3-SiO2-CaO and MnO-SiO2-FeO inclusions in iron

Eva Luisa Vogt, Jonathan Aristya Setyadji, Andreas Mortensen, Léa Deillon, Alejandra Inés Slagter, David Hernandez Escobar

Dataset corresponding to the following manuscript: Slagter, A., Setyadji, J.A., Vogt, E.L. et al. Nanoindentation Hardness and Modulus of Al2O3–SiO2–CaO and MnO–SiO2–FeO Inclusions in Iron. Metall Mater Trans A (2024). https://doi.org/10.1007/s11661-024-0 ...

Zenodo2024

Application of Deep Learning and Geospatial Analysis in Soil Loss Risk in the Moulouya Watershed, Morocco

Jérôme Chenal, Baraka Jean-Claude Munyaka

This study integrates deep learning and geospatial analysis to enhance soil loss estimation in the Moulouya Watershed, a region prone to erosion due to diverse topography and climatic conditions. Traditional models like the Universal Soil Loss Equation (US ...

AIP Publishing2025

Dataset for '3D printing of customizable transient bioelectronics and sensors'

Danick Briand, Nicolas Francis Fumeaux

This data set contains the data collected during the FNS project Green Piezo (Grant no. 179064) in association with the recent publication entitled “3D printing of customizable transient bioelectronics and sensors”. This work aims to study and demonstrate ...

Zenodo2024

Collaborative AI Agents in the Era of Large Language Models

Martin Josifoski

Developing agents that can reliably act on our behalf is central to artificial intelligence (AI). These agents must seamlessly interact with tools, like search engines and databases, and collaborate. In this thesis, we study the abstractions, methods, and ...

EPFL2025

Data set for control of Ge island coalescence for the formation of nanowires on silicon

Anna Fontcuberta i Morral, Alok Rudra, Santhanu Panikar Ramanandan, Joel René Sapera

This document contains all the data and the details of the analysis used in the manuscript titled " Control of Ge island coalescence for the formation of nanowires on silicon." https://doi.org/10.1039/D3NH00573A ...

EPFL Infoscience2024

Adapting Fine-Grained Cross-View Localization to Areas Without Fine Ground Truth

Zimin Xia

Given a ground-level query image and a geo-referenced aerial image that covers the query’s local surroundings, fine-grained cross-view localization aims to estimate the location of the ground camera inside the aerial image. Recent works have focused on dev ...

Springer Science and Business Media Deutschland GmbH2025