Satnam Singh
@satnam6502
Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac# ex-{Microsoft, Google, Facebook, Xilinx}
3.4K Following 22.6K Followers
We're working at the forefront of AI theorem proving technology to tackle exciting software and hardware verification challenges. If you have experience with formal verification in general, or with interactive theorem provers, please consider joining us! Work with us to develop our Aristotle AI theorem prover to go beyond what can be done with SOTA models, finally democratizing formal verification and making it available to everyone. We're based in Palo Alto and London.
Show more
