MMODELYST
People/Mohamed Ghanem
PPL

Mohamed Ghanem

Papers (2)
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in TamarinNatural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models