Search Results for author: Alan Mishchenko

Found 3 papers, 2 papers with code

Simulation-Guided Boolean Resubstitution

2 code implementations6 Jul 2020 Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli

This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs.

Logic in Computer Science

Circuit-Based Intrinsic Methods to Detect Overfitting

no code implementations ICML 2020 Satrajit Chatterjee, Alan Mishchenko

By intrinsic methods, we mean methods that rely only on the model and the training data, as opposed to traditional methods (we call them extrinsic methods) that rely on performance on a test set or on bounds from model complexity.

Cannot find the paper you are looking for? You can Submit a new open access paper.