2 papers
cs.LO2026
Combining Axiomatic Models for Refinement Proofs
Suha Orhun Mutluergil, Alperen Dogan
Refinement proofs verify an implementation by showing that its behaviours are subsumed by a simpler specification, on which safety properties are easier to establish. We study how…
cs.LG2024
Going Forward-Forward in Distributed Deep Learning
Ege Aktemur, Ege Zorlutuna, Kaan Bilgili +3
We introduce a new approach in distributed deep learning, utilizing Geoffrey Hinton's Forward-Forward (FF) algorithm to speed up the training of neural networks in distributed comp…