output
20072026
most citedThe Brownian gyrator: a minimal heat engine on the nano-scale

139 citations

researchers with a paper here
collaborating institutions

67 papers

cs.LG2026

Mitra-v2 Technical Report

Yefan Tao, Xiyuan Zhang, Xinyi Liu +13

We introduce Mitra-v2, a tabular foundation model that delivers state-of-the-art performance on real-world classification and regression problems, from credit-risk scoring and clin…

math.LO2026

Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic

Jim de Groot, João Marcos, Rodrigo Stefanes

We define the notion of IK-bisimulation between the relational semantics for the intuitionistic modal logic IK, and prove that IK arises as the IK-bisimulation-invariant fragment o…

cs.LO2026

Intuitionistic Monotone Modal Logic: Proof Theory and Semantics

Tiziano Dalmonte, Jim de Groot

We study the recently introduced intuitionistic monotone modal logic IM. We first provide a semantic characterisation for a family of natural extensions of IM in terms of construct…

math.LO2026

Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem

Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss

We investigate a modal extension of the infinitary classical logic with countable meets and joins, formulated with an eye toward measure-theoretic work in dynamical systems and in…

cond-mat.str-el2026

Electronic excitations in the Shastry-Sutherland compound SrCu(BO)

Tariq Leinen, Ola K. Forslund, Eugenio Paris +13

SrCu2(BO3)2 (SCBO) is a paradigmatic realization of the Shastry-Sutherland model, hosting geometrically frustrated spin dimers and a variety of quantum magnetic phases and phenomen…

math.LO2026

Relational Semantics for Flat Heyting-Lewis Logic

Jim de Groot, Tadeusz Litak

We introduce relational semantics for "flat Heyting-Lewis logic" HLC-flat. This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality…