AI Rank
← 开发者
#28215 6

Ryan Hsiang

@durant42040 · Taiwan
在 GitHub 打开
410
加权贡献
57
贡献次数
1
项目数
主要项目
上榜的 AI 项目1
104901549
lean-dojo/LeanCopilot
+0

LLMs as Copilots for Theorem Proving in Lean

1.33k· C++