Tobias Ladner

~Tobias_Ladner1

3

论文总数

3.0

年均投稿

5.8

平均评分

接收情况1/3

会议分布

ICLR

2

ICML

1

发表论文 (3 篇)

20253 篇

Towards Formally Verifying LLMs: Taming the Nonlinearity of the Transformer

ICLR 2025Rejected

Abstracting and Refining Provably Sufficient Explanations of Neural Network Predictions

ICLR 2025Rejected

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations

ICML 2025Poster

合作者 (5)

Matthias Althoff3 篇

Shahaf Bassan2 篇

Yizhak Yisrael Elboher2 篇

Ahmed Rayen Mhadhbi1 篇