Explainable AI using expressive Boolean formulas

no code implementations • 6 Jun 2023 • Gili Rosenberg, J. Kyle Brubaker, Martin J. A. Schuetz, Grant Salton, Zhihuai Zhu, Elton Yechao Zhu, Serdar Kadıoğlu, Sima E. Borujeni, Helmut G. Katzgraber

We combine the expressivity and efficiency of the native local optimizer with the fast operation of these devices by executing non-local moves that optimize over subtrees of the full Boolean formula.

Benchmarking Explainable Artificial Intelligence (XAI) +1

Quantum Gravity in the Lab: Teleportation by Size and Traversable Wormholes, Part II

no code implementations • 1 Feb 2021 • Sepehr Nezami, Henry W. Lin, Adam R. Brown, Hrant Gharibyan, Stefan Leichenauer, Grant Salton, Leonard Susskind, Brian Swingle, Michael Walter

In [1] we discussed how quantum gravity may be simulated using quantum devices and gave a specific proposal -- teleportation by size and the phenomenon of size-winding.

Quantum Physics High Energy Physics - Theory