Satnam Singh(@satnam6502):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.

Satnam Singh

@satnam6502

Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac# ex-{Microsoft, Google, Facebook, Xilinx}

加入 December 2016

3.4K 正在關注 22.6K 粉絲

Satnam Singh@satnam6502

2026.08.31 16:38

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.

112

轉發到社區

熱門用戶