Deep Learning for Logic Optimization Algorithms

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Rock cuttings from destructive boreholes are a common and cheaper source of drilling materials that can be used to determine underground geology compared to rock core samples. Classifying manually the series of cuttings can be a long and tedious process an ...

Reservoir Computing (RC) has become popular in recent years thanks to its fast and efficient computational capabilities. Standard RC has been shown to be equivalent in the asymptotic limit to Recurrent Kernels, which helps in analyzing its expressive power ...

Precisely localizing anomalies in medical images remains a significant challenge due to their heterogeneous nature across modalities and organs. While initial efforts excelled in identifying prominent anomalies, detecting minute target lesions posed signif ...

Wearable Sensor (WS)-based monitoring systems detect minute patient movements/ demands and abnormalities through periodic sensing and imaging. Sensor data observed over different intervals is not constant or available based on operating sequences. Due to v ...

Hyperbolic conservation laws play a critical role in various fields, including aerodynamics, physics, and oceanography. However, traditional physics-informed neural networks (PINNs), despite their remarkable capabilities in solving partial differential equ ...

We investigate reduced order models for acoustic and electromagnetic wave problems in parametrically defined domains. The parameter-to-solution maps are approximated following the so-called Galerkin POD-NN method, which combines the construction of a reduc ...

We propose several algorithms for learning unitary operators from quantum statistical queries with respect to their Choi-Jamiolkowski state. Quantum statistical queries capture the capabilities of a learner with limited quantum resources, which receives as ...

Sample efficiency is a fundamental challenge in de novo molecular design. Ideally, molecular generative models should learn to satisfy a desired objective under minimal calls to oracles (computational property predictors). This problem becomes more apparen ...

Modern optimization is tasked with handling applications of increasingly large scale, chiefly due to the massive amounts of widely available data and the ever-growing reach of Machine Learning. Consequently, this area of research is under steady pressure t ...

Distributed learning is the key for enabling training of modern large-scale machine learning models, through parallelising the learning process. Collaborative learning is essential for learning from privacy-sensitive data that is distributed across various ...

Electronic devices play an irreplaceable role in our lives. With the tightening time to market, exploding demand for computing power, and continuous desire for smaller, faster, less energy-consuming, and lower-cost chips, computer-aided design for electron ...

This paper offers a new algorithm to efficiently optimize scheduling decisions for dial-a-ride problems (DARPs), including problem variants considering electric and autonomous vehicles (e-ADARPs). The scheduling heuristic, based on linear programming theor ...

In this thesis, we study two closely related directions: robustness and generalization in modern deep learning. Deep learning models based on empirical risk minimization are known to be often non-robust to small, worst-case perturbations known as adversari ...

Buildings play a pivotal role in the ongoing worldwide energy transition, accounting for 30% of the global energy consumption. With traditional engineering solutions reaching their limits to tackle such large-scale problems, data-driven methods and Machine ...

The field of biometrics, and especially face recognition, has seen a wide-spread adoption the last few years, from access control on personal devices such as phones and laptops, to automated border controls such as in airports. The stakes are increasingly ...

The combination of several interesting characteristics makes metal-organic frameworks (MOFs) a highly sought-after class of nanomaterials for a broad range of applications like gas storage and separation, catalysis, drug delivery, and so on. However, the e ...

Regression models often fail to generalize effectively in regions characterized by highly imbalanced label distributions. Previous methods for deep imbalanced regression rely on gradient-based weight updates, which tend to overfit in underrepresented regio ...

Here we provide the weights of the neural network policies used for the analysis presented in our article. The archives whose names start with a number (01 - 32) correspond to the 32 curriculum steps to train the Baoding Balls policy which ranked first at ...

In this paper, we present a new parameterization and optimization procedure for minimizing the weight of ribbed plates. The primary goal is to reduce embodied CO2 in concrete floors as part of the effort to diminish the carbon footprint of the construction ...

A method for optimizing at least one of a geometry, an implantation procedure, and/or stimulation protocol of one or more electrodes for an electrical stimulation of a target structure in a nervous system of a living being by a computer device, the method ...

Deep Learning for Logic Optimization Algorithms

Chat with Graph Search

X-ray Micro-CT based characterization of rock cuttings with deep learning

Comparison of Reservoir Computing topologies using the Recurrent Kernel approach

Robust semantic learning for precise medical image segmentation

Enhancing wearable sensor data analysis for patient health monitoring using allied data disparity technique and multi instance ensemble perceptron learning

A coordinate transformation-based physics-informed neural networks for hyperbolic conservation laws

Galerkin neural network-POD for acoustic and electromagnetic wave propagation in parametric domains

Learning Unitaries with Quantum Statistical Queries

Augmented Memory: Sample-Efficient Generative Molecular Design with Reinforcement Learning

Scalable constrained optimization

Optimization Algorithms for Decentralized, Distributed and Collaborative Machine Learning

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

A ride time-oriented scheduling algorithm for dial-a-ride problems

Understanding generalization and robustness in modern deep learning

Fusing Pre-existing Knowledge and Machine Learning for Enhanced Building Thermal Modeling and Control

Performing and Detecting Backdoor Attacks on Face Recognition Algorithms

Inverse design of metal-organic frameworks for direct air capture of CO2via deep reinforcement learning

IM-Context: In-Context Learning for Imbalanced Regression Tasks

Acquiring musculoskeletal skills with curriculum-based reinforcement learning - model weights

Mesh-based topology, shape and sizing optimization of ribbed plates

A method and system for optimizing design, implantation, and stimulation protocols of electrodes stimulating the nervous system