The following pages link to (Q5015189):
Displaying 7 items.
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- A modeling and verification framework for optical quantum circuits (Q2418045) (← links)
- Proof Verification Technology and Elementary Physics (Q3296311) (← links)
- (Q3384929) (← links)
- A formal proof of the expressiveness of deep learning (Q5915784) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)
- A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL (Q6190081) (← links)