Learning from survey propagation: a neural network for MAX-E-3-SAT

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.

Typical operators for the decomposition of Boolean functions in state-of-the-art algorithms are AND, exclusive-OR (XOR), and the 2-to-1 multiplexer (MUX). We propose a logic decomposition algorithm that uses the majority-of-three (MAJ) operation. Such a de ...

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

Logic synthesis is a key component of digital design and modern EDA tools; it is thus an essential instrument for the design of leading-edge chips and to push the limits of their performance. In the last decades, the electronic circuits community has evolv ...

Water is a crucial resource for all forms of life, yet it is becoming increasingly scarce. A significant portion of water loss in urban and industrial areas is attributed to leaks. Addressing this issue is critical for enhancing efficiency, sustainability, ...

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. This process is performed by means of local replacements that are extracted by matching sections of the subject graph to library ...

The channel impulse response (CIR) of the wireless propagation channel is influenced by the surrounding environment and thus can be used to retrieve environmental information such as location, the presence of objects, and the speed of objects. In this work ...

Today, the design of electronic systems is largely automated. The practice of using software automation technologies for the design of electronic hardware is commonly referred to as Electronic Design Automation (EDA). EDA comprises a large set of tools, fr ...

The creation of high fidelity synthetic data has long been an important goal in machine learning, particularly in fields like finance where the scarcity of available training and test data make it difficult to utilize many of the deep learning techniques w ...

Recent studies show that majority-based logic synthesis is beneficial for both traditional and nanotechnology digital designs. However, most of the existing synthesis algorithms for majority logic generate majority-of-three (M-3) networks. The optimization ...

Data-driven techniques are increasingly used to replace electronic-structure calculations of matter. In this context, a relevant question is whether machine learning (ML) should be applied directly to predict the desired properties or combined explicitly w ...

A subfamily {F-1, F-2, ..., F-vertical bar P vertical bar} subset of F is a copy of the poset P if there exists a bijection i : P -> {F-1, F-2, ..., F-vertical bar P vertical bar}, such that p

In this manuscript, we investigate the problem of how two-layer neural networks learn features from data, and improve over the kernel regime, after being trained with a single gradient descent step. Leveraging the insight from (Ba et al., 2022), we model t ...

Electrochemical sensors play a pivotal role in advancing therapeutic drug monitoring (TDM) and personalized therapy. However, the insufficient selectivity of electrochemical sensors based on cytochromes P450 poses a great need for innovative machine learni ...

We present a constructive method to create quantum circuits that implement oracles vertical bar x vertical bar y |0 (k) -> vertical bar x vertical bar y circle plus f(x)vertical bar 0 (k) for n-variable Boolean functions f with low T-count. In our method f ...

While momentum-based accelerated variants of stochastic gradient descent (SGD) are widely used when training machine learning models, there is little theoretical understanding on the generalization error of such methods. In this work, we first show that th ...

This work presents a novel hybrid (physics- and data -driven) model for short-term (intra-day and day-ahead, 3h -24h) wind power forecasting (STWPF). Traditionally, STWPF predictors admitted very few meteorological variables only from the grid points close ...

The study of the complexity of Boolean functions has recently found applications in logic synthesis and optimization algorithms, as for instance in logic rewriting. Previous works have focused on the minimum length of Boolean chains for functions up to 5 i ...

When enough annotated training data is available, supervised deep-learning. algorithms excel at estimating human body pose and shape using a single camera. The effects of too little such data being available can be mitigated by using other information sour ...

Designing digital circuits well is notoriously difficult. This difficulty stems in part from the very many degrees of freedom inherent in circuit design, typically coupled with the need to satisfy various constraints. In this thesis, we demonstrate how for ...

Machine learning models have been shown to leak sensitive information about their training datasets. Models are increasingly deployed on devices, raising concerns that white-box access to the model parameters increases the attack surface compared to black- ...

Learning from survey propagation: a neural network for MAX-E-3-SAT

Chat with Graph Search

Advanced Functional Decomposition Using Majority and Its Applications

Extending Boolean Methods for Scalable Logic Synthesis

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

A two-phase approach for leak detection and localization in water distribution systems using wavelet decomposition and machine learning

In Medio Stat Virtus: Combining Boolean and Pattern Matching

Learning-based Hand Gesture Classification using Channel Impulse Response with UWB

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Macroeconomic Conditioned Synthetic Financial Markets

Exact Synthesis of Boolean Functions in Majority-of-five Forms

Electronic Excited States from Physically Constrained Machine Learning

On the Number of Containments in P-free Families

Asymptotics of feature learning in two-layer networks after one gradient-step

Identification and Quantification of Multiple Drugs by Machine Learning on Electrochemical Sensors for Therapeutic Drug Monitoring

The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits

On the Generalization of Stochastic Gradient Descent with Momentum

A hybrid physics-based and data-driven model for intra-day and day-ahead wind power forecasting considering a drastically expanded predictor search space

The Complexity of Self-Dual Monotone 7-Input Functions

Using Motion Cues to Supervise Single-Frame Body Pose and Shape Estimation in Low Data Regimes

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

Investigating the Effect of Misalignment on Membership Privacy in the White-box Setting