Datalog

Lemmalog: Jak jsem přetvořil paměť LLM na analýzu programů

Experimentování s LLM vedlo k vytvoření Lemmalogu, Datalog enginu pro efektivní analýzu programů a zranitelností.