Auguste Hirth

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Optimal Decisions

Automatically Generate

Lateral Inhibition

Quantum Computing

Top Venues

J. Log. Lang. Inf.

Publications

Adnan Darwiche, Auguste Hirth
On the (Complete) Reasons Behind Decisions. J. Log. Lang. Inf. 32 (1) (2023)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: Superoptimization of Quantum Circuits (Extended Version). CoRR (2022)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: superoptimization of Quantum circuits. PLDI (2022)
Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. CoRR (2021)
Adnan Darwiche, Auguste Hirth
On the Reasons Behind Decisions. ECAI (2020)
Adnan Darwiche, Auguste Hirth
On The Reasons Behind Decisions. CoRR (2020)