Type
Facility
Country
Russia
RU
Documents
85
through any edge
Papers
85
authorship edges
Awards made
—
Named as funder
—
Identifiers
Papers
Documents in the 44B Library with Steklov Mathematical Institute on the authorship, newest first.
2025-12-18 · 1 authors here
On syntactic concept lattice models for the Lambek calculus and infinitary action logic
2025-12-08 · 2 authors here
On semantics of first-order justification logic with binding modalities
2025-10-01 · 3 authors here
Accelerated Algorithm for Splitting a Vector into Two Vectors with Small Uniform Norm
2025-07-18 · 6 authors here
<tt>AdaBatchGrad</tt> : combining adaptive batch size and adaptive step size
2025-06-11 · 1 authors here
Infinitary calculus for first-order logic of probability with distribution on the domain
2025-06-01 · 3 authors here
Generalization in Learning: Eyring Formula and Predator-prey Model
2025-05-26 · 8 authors here
Proximal Point Nash Learning from Human Feedback
2025-03-20 · 1 authors here
On a problem of control of trajectory bundles
2025-02-26 · 3 authors here
REASONING FROM HYPOTHESES IN $\ast $-CONTINUOUS ACTION LATTICES
2025-01-24 · 2 authors here
The logic of correct models
2025-01-01 · 1 authors here
A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
2025-01-01 · 1 authors here
On the decision problem for quantified probability logics
2025-01-01 · 1 authors here
A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
2025-01-01 · 1 authors here
On the decision problem for quantified probability logics
2025-01-01 · 7 authors here
Accelerated Bregman gradient methods for relatively smooth and relatively Lipschitz continuous minimization problems
2025-01-01 · 7 authors here
Accelerated Bregman gradient methods for relatively smooth and relatively Lipschitz continuous minimization problems
2025-01-01 · 2 authors here
Securing deep classification models against OOD inputs and evasion attacks
2024-12-31 · 1 authors here
Strong conservativity and completeness for fragments of infinitary action logic
2024-12-01 · 1 authors here
A Geometric Approach to Lower Bounds for the Maximum of Gaussian Random Processes
2024-12-01 · 3 authors here
Rethinking Graph Classification Problem in Presence of Isomorphism
2024-12-01 · 4 authors here
Deforming Implicit Neural Representation Generative Adversarial Network for Unsupervised Appearence Editing
2024-11-16 · 1 authors here
On structural proof theory of the modal logic K+ extended with infinitary derivations
2024-10-16 · 5 authors here
How to Guide a Present-Biased Agent Through Prescribed Tasks?
2024-10-04 · 1 authors here
A joint logic of problems and propositions
2024-07-20 · 1 authors here
Topological product of modal logics with McKinsey axiom
Funding
Read from the funding tables, never from the document count — that count includes authorship, so it ranks institutions, not funders.
Who funds this work
Funders named on the papers above. The record holds no recipient field, so this is reached through the documents themselves — and the two columns are two different claims, kept apart.
Under a named grant
funding_awards — the award carries a grant number
Listed as funder
doc_funder_links — named, with no grant number