Badacze opracowali hybrydowy system łączący AI z dowodzielem Lean 4, generujący maszynowo weryfikowalne certyfikaty dla analiz patentowych poprzez teorię typów zależnych.