Ruida WANG's picture

3 2 2

Ruida WANG

RickyDeSkywalker

·

[email protected]

AI & ML interests

None yet

Recent Activity

liked a model 8 days ago

RickyDeSkywalker/TheoremLlama

updated a model 5 months ago

RickyDeSkywalker/TheoremLlama

liked a dataset 6 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

View all activity

Organizations

None yet

Papers 2

arxiv:2312.02216

arxiv:2310.13671

models 1

RickyDeSkywalker/TheoremLlama

Text Generation • Updated Sep 24, 2024 • 8 • 6

datasets 1

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 45 • 8