Ruida WANG

RickyDeSkywalker

·

rwangbr@connect.ust.hk

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Evaluating the Hidden Costs of Personalization in Large Language Models

upvoted a paper 3 months ago

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

submitted a paper 3 months ago

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

View all activity

Organizations

RickyDeSkywalker 's datasets 6

RickyDeSkywalker/dc-sutherland

Updated Apr 23 • 13

RickyDeSkywalker/vllm-container

Updated Apr 15 • 12

RickyDeSkywalker/GAR_baseDataset_NuminaMath

Viewer • Updated Mar 4 • 104k • 45

RickyDeSkywalker/GAR_baseDataset

Viewer • Updated Mar 4 • 781k • 43

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27, 2025 • 31

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 15 • 12