影响力指数

41.7/100

前 13.2%

全站排名 #8,517

发表论文3 篇

平均评分5.8

年均产出1.5 篇/年

Martin Lange

Full Professor@University of Kassel·德国·OpenReview

研究方向

formal methods · model checking · verification · logic

On the Expressiveness of State Space Models via Temporal Logics

ICLR 2026Poster

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics

NeurIPS 2025Poster

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning

ICLR 2025Poster

合作者 (4)

Przemysław Andrzej Wałęga

Lowejatan Noori