Quantum machine learning via vector embeddings(arxiv.org)11 points by adbabdadb 1 year ago | 0 comments
Vectorization of Verilog Designs and its Effects on Verification and Synthesis(arxiv.org)26 points by matt_d 7 months ago | 6 comments
Artificial Intelligence for Quantum Computing(arxiv.org)52 points by jimminyx 1 year ago | 27 comments
C*: Unifying Programming and Verification in C (2025)(arxiv.org)71 points by rramadass 1 month ago | 41 comments
Falcon-H1: A Family of Hybrid-Head Models Redefining Efficiency and Performance(arxiv.org)5 points by rbanffy 1 year ago | 0 comments
Jamba: A Hybrid Transformer-Mamba Language Model(arxiv.org)58 points by eitanturok 2 years ago | 6 comments