Verifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
Publications
Date
Featured collections
Popular topics
24074 results for Exploratory Science
A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- Manuel Correia
- Donald Cossman
- et al.
- 1970
- DAC 1970
Quality of designs from an automatic logic generator (ALERT)
- Theodore D. Friedman
- Sih-Chin Yang
- 1970
- DAC 1970
Global Area Sampling for Geospatial Foundation Model
- 2024
- AGU 2024
WAGLE: Strategic Weight Attribution for Effective and Modular Unlearning in Large Language Models
- Jinghan Jia
- Jiancheng Liu
- et al.
- 2024
- NeurIPS 2024
Limits of Transformer Language Models on Learning to Compose Algorithms
- Jonathan Thomm
- Aleksandar Terzic
- et al.
- 2024
- NeurIPS 2024
Neural Network Reparametrization for Accelerated Optimization in Molecular Simulations
- Nima Dehmamy
- Csaba Both
- et al.
- 2024
- NeurIPS 2024
Symmetry-Informed Governing Equation Discovery
- Jianke Yang
- Wang Rao
- et al.
- 2024
- NeurIPS 2024
Dense Associative Memory Through the Lens of Random Features
- Benjamin Hoover
- Duen Horng Chau
- et al.
- 2024
- NeurIPS 2024