影响力指数

-/100

发表论文1 篇

平均评分4.0

年均产出1.0 篇/年

Ahmed Rayen Mhadhbi

MS student@Technical University of Munich·德国·OpenReview

Towards Formally Verifying LLMs: Taming the Nonlinearity of the Transformer

ICLR 2025Rejected

合作者 (2)

Matthias Althoff