THE NOVI SAD Seminar

 

PROGRAM

---

Predavanja možete pratiti i online putem MITEAM stranice Novosadskog seminara:
https://miteam.mi.sanu.ac.rs/asset/3iuT7dhKfDxFv5kh3

---

Plan rada Novosadskog seminara za JUN 2026

---

Četvrtak, 18.06.2026. u 12:00, svečana sala Ogranka SANU u Novom Sadu, Nikole Pašića 6 i Online
Milica Gašić, Heinrich Heine University Düsseldorf
ANALOGIJE, BOL I GEOMETRIJA INTELIGENCIJE: TRI POGLEDA NA (NENADGLEDANO) UČENJE
Nedavni napredak u velikim jezičkim modelima i veštačkim agentima ponovo je otvorio osnovna pitanja o tome kako se inteligencija uči, strukturira i predstavlja. U ovom preglednom predavanju predstaviću tri komplementarne perspektive na ova pitanja. Prvo, govoriću o šumovitim oznakama (noisy labels), razmatrajući kako modeli mogu učiti i generalizovati uprkos nesavršenim ili nepreciznim podacima, koristeći se analogijama. Drugo, predstaviću kako inspiracija ljudskim bolom i averzivnim signalima može doprineti efikasnijem učenju putem potkrepljenja (reinforcement learning), posmatrajući bol kao mehanizam za oblikovanje dinamike učenja, a ne samo za optimizaciju nagrade. Treće, pokazaću šta geometrija prostora reprezentacije u velikim jezičkim modelima otkriva o preprilagođavanju (overfitting), konvergenciji i, na kraju, o „grokovanju" (dubokom razumevanju). Iako se razlikuju po fokusu, ove perspektive zajedno doprinose dubljem razumevanju prirode nenadgledanog učenja.

---

Četvrtak, 18.06.2026. u 13:00, svečana sala Ogranka SANU u Novom Sadu, Nikole Pašića 6 i Online
Marcus Zibrowius, Heinrich Heine University Düsseldorf
GAME OVER OR QED? – A PLAYFUL INTRODUCTION TO THEOREM PROVING IN LEAN
The level of rigour mathematicians demand of a proof has increased steadily over the centuries. In the digital age, a complete formalization and algorithmic verification of proofs is likely to become the new standard. But what does such a formalization even look like? In this presentation, we will provide a brief introduction to the language Lean and its enormous mathematical library, which already covers huge chunks of university-level mathematics. The examples we present are freely accessible via the Lean Game Server at https://adam.math.hhu.de, and you can verify each proof step live on your phone.

---