Harmonic Engineer Satnam Singh to Give Glasgow Talk on Why Formal Verification Is On Fire
satnam6502 · x · 2026-10-30
Software engineer Satnam Singh (Harmonic) announced a CAKES Talk at the University of Glasgow's School of Computing Science titled "Why The World of Formal Verification is On Fire," scheduled for 30 October 2026.
Related event: Harmonic Engineer Showcases Aristotle Formal Verification Wins(3 posts)→
More from Research
- 4B decision model trained on 117k examples matches Jev — except it can't detect sarcasm — SRSchmidgall · 2026-10-31
- David Baker Lab Preprint: Protein Design Cuts CD8⁺ T Cell Immunogenicity — gottapatchemall · 2026-10-31
- Companies pay $300 per paper to survey ICLR/NeurIPS authors — grads can cash in — Icy-Park4287 · 2026-10-31
- Gary Marcus mocks OpenAI's new algorithm: exponential subroutine below a 10^25-variable threshold — AlexTensor · 2026-10-31
- After NVIDIA's BindClaw, every AI4Bio paper now needs an agentic pipeline demo to prove versatility — rishabh16_ · 2026-10-31
- Neural Thickets Revisited: Frozen-Model Logit Perturbations Match Full-Weight Perturbation Ensembles — kastnerkyle · 2026-10-31