| 1x | | formal theorem proving, Lean 4, reinforcement learning, graph neural networks, premise selection, formal mathematical libraries, dinamično ocenjevanje prenosne zmogljivosti, numerična vremenska napoved, lokacijsko specifično napovedovanje vetra, verjetnostno
napovedovanje, umerjanje verjetnostnih napovedi, variacijski samokodirniki, generativni modeli, Verjetnostna kontekstno neodvisna gramatika, Monte Carlo drevesno preiskovanje, odkrivanje enačb, simbolna regresija, AI for mathematics, predictive importance, dependency detection, online encyclopedia of integer sequences (OEIS), cubic vertex-transitive graphs (CVTG), ontologija, opisna logika, sklepanje, spletni ontološki jezik, Slovenska tovarna umetne inteligence, katalog storitev, konsistentnost, ekspresivnost, gradientni spust, upodobitve, izomorfizmi grafov, delovanja, ta
bela inverzij, veliki jezikovni modeli, analiza sentimenta, obdelava naravnega jezika, transformer, finančne novice, samopozornost, delniški trgi, globoko spodbujevalno učenje, strategije ustvarjanja trga, markovski proces odločanja, Bellmanov operator, limitna knjiga naročil, globoko $Q$-učenje, hiperparametri, tehnični indikatorji, simulacijsko okolje, ansambli, homogeni ansambli, dekompozicija napovedne napake, prepoznavanje imenovanih entitet, vložitve besed, dolgi kratkoročni spomin, pogojna naključna polja, vložitev GloVe, časovne vrste, napovedni modeli, formalizacija matematike, dokazovalniki, Agda, grafovske nevronske mreže, vložitve programske kode, napovedovanje povezav, neural networks, variational autoencoders, generative models, n-ary
trees, deep learning, digitalno oglaševanje, optimizacija dobička, Bayesova optimizacija, napovedno modeliranje, kontekstno-neodvisna gramatika, stiskanje podatkov, teorija informacij, stiskanje brez izgube, univerzalen kod, šah, algoritem minimax, vrednotenje šahovskih
pozicij, logistična regresija, usmerjene nevronske mreže, napovedovanje časovnih vrst, gradient funkcije izgube, verižno pravilo, vzvratno razširjanje napake, kreditno tveganje, analiza preživetja, neenakomerno porazdeljeni podatki, dvojiška klasifikacija, ADASYN, TPE, optimizacija, digitalizacija, avtomobilska industrija, klasifikacija, aktuarsko modeliranje, smrtnost, razvrščanje v skupine, metoda k-tih voditeljev, metoda k-tih medoidov, indeks obrisov, Dunnov indeks, škodne rezervacije, individualne škode, individualni razvoj škod, stohastični razvoj škod, volatility, forecasting, time series, cryptocurrency, time-series analysis, recurrent neural networks, LSTM |
