no code implementations • 13 Feb 2024 • Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
We introduce NeuRes, a neuro-symbolic proof-based SAT solver.
no code implementations • 3 Apr 2022 • Alaa Anani, Mohamed Ghanem, Lotfy Abdel Khaliq
In our work, we break this poison-protection layer by replicating the critic model and then performing a composed gradient-sign attack on both the critic and target models simultaneously -- allowing us to bypass the critic firewall to poison the target model.
no code implementations • 22 Dec 2021 • Mohamed Ghanem, Dauod Siniora
Further, we introduce the two most famous problem complexity classes $\textbf{P}$ and $\textbf{NP}$ along with the relationship between them.
no code implementations • 22 Dec 2021 • Mohamed Ghanem, Fadi Dawoud, Habiba Gamal, Eslam Soliman, Hossam Sharara, Tamer El-Batt
The rapid expansion of data worldwide invites the need for more distributed solutions in order to apply machine learning on a much wider scale.