Olaf Werner LLMs are new frontier technology and are becoming more popular. However, this technology is still imperfect when it comes to reasoning. While LLM is capable of reasoning by chain-of-thought (CoT) prompting, unfortunately, this reasoning is imperfect and can fail, especially when reasoning can take multiple paths. The way…
Kategoria: Seminarium
Model uczenia maszynowego do wspomagania udzielania kredytów bankowych
Piotr Bojaruniec Przedmiotem seminarium będą modele uczenia głębokiego, w tym modele kwantowe do wspomagania sytuacji decyzyjnych związanych z udzielaniem kredytów bankowych. Omówione zostaną najważniejsze zbiory danych odnoszące się do kluczowych sytuacji decyzyjnych. Ponadto scharakteryzowane będą najważniejsze modele uczenia maszynowego, które cechują się największą efektywnością wykrywania „złych” kredytów. Na tym tle…
O weryfikacji protokołów kryptograficznych
dr hab. inż. Konstanty Junosza-Szaniawski, prof. PW Referat prezentuje podstawowe własności protokołów kryptograficznych, narzędzia do formalnej weryfikacji weryfikacji tychże własności, kilka przykładów klasycznych protokołów oraz przykłady ataków na nie.