Obavijest: Na zahtjev voditelja Seminara za matematičku logiku i osnove matematike i Seminara za teorijsko računarstvo, odlukom Vijeća doktorskog studija, s početkom ak. god. 2024./2025. dva navedena seminara se spajaju te se novi seminar zove Seminar za matematičku logiku i računarstvo.

NAJAVA SEMINARA

ponedjeljak, 30. ožujka 2026. s početkom u 17:15h u predavaonici 105 (PMF-MO)

SAŽETAK: Dva AI agenta surađuju kako bi iz fotografije isprintanog dokumenta vjerno rekonstruirali izvorni dokument koristeći LaTeX. Agent za rekonstrukciju generira pokušaj rekonstrukcije dokumenta, koji zatim šalje drugom agentu na evaluaciju. Evaluacijski agent uspoređuje originalnu fotografiju i rekonstruirani dokument te daje povratnu informaciju, na temelju koje se rekonstrukcija iterativno poboljšava.

Foto (s nekih održanih seminara)