Ruida WANG's picture

3 2 1

Ruida WANG

RickyDeSkywalker

[email protected]

AI & ML interests

None yet

Organizations

None yet

Papers 2

arxiv:2312.02216

arxiv:2310.13671

models 1

RickyDeSkywalker/TheoremLlama

Text Generation • Updated Sep 24 • 62 • 4

datasets 1

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12 • 107k • 67 • 6