Muhammad Rizkillah

rizki
ยท

AI & ML interests

nlp, formal verification.

Recent Activity

Organizations

None yet

rizki's activity

upvoted an article 12 months ago
view article
Article

Introducing the LiveCodeBench Leaderboard - Holistic and Contamination-Free Evaluation of Code LLMs

โ€ข 15
updated a Space over 1 year ago
updated a Space almost 3 years ago