Auguste Hirth

According to our database, Auguste Hirth authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On the (Complete) Reasons Behind Decisions.

Adnan Darwiche, Auguste Hirth

J. Log. Lang. Inf., March, 2023

2022

Quartz: Superoptimization of Quantum Circuits (Extended Version).

Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia

CoRR, 2022

Quartz: superoptimization of Quantum circuits.

Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities.

Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken

CoRR, 2021

2020

On the Reasons Behind Decisions.

Adnan Darwiche, Auguste Hirth

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020