17 citations · 20 across the 5 of their papers we have counts for
5 papers
The Multipath Reliable Connection (MRC) Transport
Rip Sohan, Eric Spada, Eric Davis +36
MRC is an open, production-grade transport designed for large-scale AI/ML training over best-effort Ethernet. It extends RoCEv2 with explicit, composable primitives for per-packet…
Resilient AI Supercomputer Networking using MRC and SRv6
Joao Araujo, Alex Chow, Mark Handley +47
Tail latency dominates the performance of synchronous pretraining jobs when running at very large scales. We describe a three-pronged approach: (1) a new RDMA-based transport proto…
Tighter Abstract Queries in Neural Network Verification
Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett +1
Neural networks have become critical components of reactive systems in various domains within computer science. Despite their excellent performance, using neural networks entails n…
Neural Network Verification using Residual Reasoning
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
With the increasing integration of neural networks as components in mission-critical systems, there is an increasing need to ensure that they satisfy various safety and liveness re…
Novel one-step electrophoretic deposition of membrane-electrode assembly for flexible-batteries application
Elazar Cohen, Moran Lifshitz, Alexander Gladkikh +3
Wearable electronic devices and gadgets raise the need for flexible, thin and lightweight batteries. In this article we present for the first time, a unique, single-step method for…