Matthias Althoff

~Matthias_Althoff1

4

论文总数

2.0

年均投稿

5.8

平均评分

接收情况2/4

会议分布

ICLR

2

ICML

1

NeurIPS

1

发表论文 (4 篇)

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

20241 篇

Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking

NeurIPS 2024Poster

合作者 (10)

Tobias Ladner3 篇

Shahaf Bassan2 篇

Yizhak Yisrael Elboher2 篇

Ahmed Rayen Mhadhbi1 篇

Hanna Krasowski1 篇

Jakob Thumm1 篇

Michael Eichelbeck1 篇