3 papers
cs.AR2026
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification
Maohua Nie, Jiang Zhu, Jingqun Zhang +5
We present HierSVA, an integrated suite that combines a pipeline, dataset, and benchmark for LLM-driven hierarchical hardware formal verification. HierSVA-SP pairs an RTL preproces…
physics.ed-ph2025
Particle Builder A Board Game for the Teaching of the Standard Model of Particle Physics at a Secondary Level
Lachlan McGinness, Yutong Ma, Mohammad Attar +14
We present Particle Builder, an online board game which teaches students about concepts from the Standard Model of Particle Physics at a high school level. This short activity resu…
physics.ed-ph2025
Particle Builder -- Learn about the Standard Model while playing against an AI
Mohammad Attar, Andrew Carse, Yeming Chen +13
Particle Builder Online is a web-based education game designed for high school physics students. Students can play against an AI opponent or peers to familiarise themselves with th…