4 citations · 4 across the 2 of their papers we have counts for
2 papers
math.PR2025
Cutoff for the Swendsen-Wang dynamics on the complete graph
Antonio Blanca, Zhezheng Song
We study the speed of convergence of the Swendsen-Wang (SW) dynamics for the -state ferromagnetic Potts model on the -vertex complete graph, known as the mean-field model. Th…
cs.CR2023★ 4 cited
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications
Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid +8
In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural…