Observed · not hosted
Phi-4
A signed record of the public facts about Microsoft Research's Phi-4, as observed on 2026-06-25. LeanLogix does not host, train, or evaluate this model — this passport makes the cited facts tamper-evident, not a benchmark claim.
Signed public facts
DeveloperMicrosoft Research
Parameters14B
Base architecturedense decoder-only transformer (trained heavily on synthetic + filtered data)
Context window16,384 tokens
Modalitytext
Released2024-12
LicenseMIT
Observed byLeanLogix · 2026-06-25
Dispositionobserved — public facts only, no benchmark signed
The seal — Ed25519, re-checkable offline
Signed with the same key that signs our hosted model passports — one provenance authority across both tiers. Verify it here, or paste the receipt into the public verifier and re-derive the proof in your own browser.
Signing key fpa97122c37f5c…97fac1e1
Body sha256b4986df94ff7…21dd2e8a
Public-fact observation of a model LeanLogix does not host, train, or evaluate. No benchmark or quality claim is made or signed — only the cited public facts on the observed date. Signed with the LeanLogix provenance key so the record is tamper-evident and offline-verifiable.