Michael Souliman

~Michael_Souliman1

1

论文总数

1.0

年均投稿

4.0

平均评分

接收情况0/1

会议分布

ICLR

1

发表论文 (1 篇)

20251 篇

Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization

ICLR 2025Rejected

合作者 (4)

Brando Miranda1 篇

Jakob Nordhagen1 篇

Sanmi Koyejo1 篇

Willy Chan1 篇