138 citations · 283 across the 18 of their papers we have counts for
4 papers · 1 filter
Reduced State Embedding for Error Correction in Quantum Cryptography
Amit Kam, Kfir Sulimany, Shai Tsesses +1
Encoding in a high-dimensional Hilbert space improves noise resilience in quantum information processing. This approach, however, may result in cross-mode coupling and detection co…
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Benjamin Breen, Marco Del Tredici, Jacob McCarran +6
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collab…
Machine Intelligence on Wireless Edge Networks
Sri Krishna Vadlamani, Kfir Sulimany, Zhihui Gao +2
Machine intelligence on edge devices enables low-latency processing and improved privacy, but is often limited by the energy and delay of moving and converting data. Current system…
Disaggregated Deep Learning via In-Physics Computing at Radio Frequency
Zhihui Gao, Sri Krishna Vadlamani, Kfir Sulimany +2
Modern edge devices, such as cameras, drones, and Internet-of-Things nodes, rely on deep learning to enable a wide range of intelligent applications, including object recognition,…