Ruida WANG's picture

3 2 4

Ruida WANG

RickyDeSkywalker

·

[email protected]

AI & ML interests

None yet

Recent Activity

updated a model 9 days ago

RickyDeSkywalker/LoT-Solver

updated a model 9 days ago

RickyDeSkywalker/LoT-Solver-Godel

updated a dataset 9 days ago

RickyDeSkywalker/LoT-CorrectionData

View all activity

Organizations

None yet

Papers 2

arxiv:2312.02216

arxiv:2310.13671

models 3

RickyDeSkywalker/LoT-Solver

Updated 9 days ago • 38

RickyDeSkywalker/LoT-Solver-Godel

Updated 9 days ago • 1

RickyDeSkywalker/TheoremLlama

Text Generation • Updated Sep 24, 2024 • 128 • 7

datasets 2

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated 9 days ago • 59

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 56 • 11