2 papers
cond-mat.mtrl-sci2024
Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
Sameerah Helal, Zhe Tao, Cindy Rubio-González +2
Density Functional Theory (DFT) is used extensively in the computation of electronic properties of matter, with various applications. Approximating the exchange-correlation (XC) fu…
cs.LG2021
SyReNN: A Tool for Analyzing Deep Neural Networks
Matthew Sotoudeh, Aditya V. Thakur
Deep Neural Networks (DNNs) are rapidly gaining popularity in a variety of important domains. Formally, DNNs are complicated vector-valued functions which come in a variety of size…