Login / Signup
Roozbeh Bassirian
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 6
Top Topics
Training Phase
Formal Proof
Theorem Prover
Quantum Computation
Top Venues
CoRR
ITCS
TQC
Quantum Inf. Process.
</>
Publications
</>