Zobrazeno 1 - 10
of 1 796
pro vyhledávání: '"Pestun, A."'
Autor:
Blaauwbroek, Lasse, Olšák, Miroslav, Rute, Jason, Massolo, Fidel Ivan Schaposnik, Piepenbrock, Jelle, Pestun, Vasily
In proof assistants, the physical proximity between two formal mathematical concepts is a strong predictor of their mutual relevance. Furthermore, lemmas with close proximity regularly exhibit similar proof structures. We show that this locality prop
Externí odkaz:
http://arxiv.org/abs/2401.02949
Despite a growing body of work at the intersection of deep learning and formal languages, there has been relatively little systematic exploration of transformer models for reasoning about typed lambda calculi. This is an interesting area of inquiry f
Externí odkaz:
http://arxiv.org/abs/2304.10500
Stochastic approximation algorithms are iterative procedures which are used to approximate a target value in an environment where the target is unknown and direct observations are corrupted by noise. These algorithms are useful, for instance, for roo
Externí odkaz:
http://arxiv.org/abs/2202.05959
The Sebezh History museum’s collection contains two stones that resemble anthropomorphic figures. Unfortunately, their origin is known only from the words of K.M. Gromov, the museum director in the 1953–1970s. According to K.M. Gromov, one stone
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ad99a983f51c0050457abf87e376cd4
https://doi.org/10.31168/2658-3356.2020.15
https://doi.org/10.31168/2658-3356.2020.15
Publikováno v:
Frontiers in Endocrinology, Vol 15 (2024)
Externí odkaz:
https://doaj.org/article/2932a71f12c74309b84b37785152ec39
Publikováno v:
Frontiers in Endocrinology, Vol 15 (2024)
At the beginning of the eighteenth century, most physicians recognized cancer as an aggressive process that gradually spreads, leading to cachexia and death. Thyroid malignancies had long been underestimated because the majority of the population of
Externí odkaz:
https://doaj.org/article/4b75edfb35ca4f56a232d5a051f84323
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Reinforcement learning algorithms solve sequential decision-making problems in probabilistic environments by optimizing for long-term reward. The desire to use reinforcement learning in safety-critical settings inspires a recent line of work on forma
Externí odkaz:
http://arxiv.org/abs/2009.11403
Publikováno v:
Advances in Mathematics 401 (2022), Paper No. 108283, 73pp
We construct a family of $GL_n$ rational and trigonometric Lax matrices $T_D(z)$ parametrized by $\Lambda^+$-valued divisors $D$ on $\mathbb{P}^1$. To this end, we study the shifted Drinfeld Yangians $Y_\mu(\mathfrak{gl}_n)$ and quantum affine algebr
Externí odkaz:
http://arxiv.org/abs/2001.04929
Autor:
Kimura, Taro, Pestun, Vasily
We consider the $k$-twisted Nekrasov-Shatashvili limit (NS$_k$ limit) of 5d (K-theoretic) and 6d (elliptic) quiver gauge theory, where one of the multiplicative equivariant parameters is taken to be the $k$-th root of unity. We obtain the extended ce
Externí odkaz:
http://arxiv.org/abs/1905.03865