VerifiedMechanisms

Popular repositories Loading

1. xorformer xorformer Public

   How many attention heads does it take to compute a Boolean function?

   Lean 1 1

2. re-takehome re-takehome Public

   Verified Mechanisms research engineer take-home: two models, one verified proof

   Python 1 6

3. verifiedmechanisms.github.io verifiedmechanisms.github.io Public

   Webpage for verifiedmechanisms.ai

   HTML

4. automlr automlr Public

   Camera-ready paper, Lean proofs, and research traces for NeurIPS 2026 AutoMLR.

   Lean

5. peer-review peer-review Public

   TypeScript