Zobrazeno 1 - 10
of 297
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
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
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
Autor:
Kimura, Taro, Pestun, Vasily
We study the super instanton solution in the gauge theory with U$(n_{+}| n_{-})$ gauge group. Based on the ADHM construction generalized to the supergroup theory, we derive the instanton partition function from the super instanton moduli space throug
Externí odkaz:
http://arxiv.org/abs/1905.01513
We introduce new invariants in equivariant birational geometry and study their relation to modular symbols and cohomology of arithmetic groups.
Comment: 53 pages
Comment: 53 pages
Externí odkaz:
http://arxiv.org/abs/1902.09894