Hakim Hacid

~Hakim_Hacid2

2

论文总数

2.0

年均投稿

5.3

平均评分

接收情况1/2

会议分布

ICLR

2

发表论文 (2 篇)

20252 篇

Maximizing the Potential of Synthetic Data: Insights from Random Matrix Theory

ICLR 2025Poster

Synthetic Theorem Generation in Lean

ICLR 2025Rejected

合作者 (13)

Mohamed El Amine Seddik2 篇

Aidan Z.H. Yang1 篇

Brando Miranda1 篇

Jingwei Zuo1 篇

Joseph Rotella1 篇

Leonardo de Moura1 篇

Soonho Kong1 篇