mti — HRO

Alpha This system is experimental. Scores and classifications are early-stage research and may be unreliable. Methodology →

mti 164 karma 14y 0m on HN HN profile →

Coverage

We've seen 1 of ~50 submissions

Full eval: 0 Lite-only: 0 Unevaluated: 1

1 stories

1.		The role of AI companies in large formalisation projects (leanprover.zulipchat.com)
		3 points by mti 10 days ago \| 0 comments \| skipped

build ee2b489+gzrb · deployed 2026-03-10 22:52 UTC · evaluated 2026-03-16 02:03:38 UTC