Ruida WANG

RickyDeSkywalker's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 1 day ago

Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training

Paper • 2509.03403 • Published 3 days ago • 18

updated 2 models about 1 month ago

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4 • 2 • 7

RickyDeSkywalker/LoT-Solver

7B • Updated Aug 4

upvoted 3 papers about 1 month ago

Adversarial Paraphrasing: A Universal Attack for Humanizing AI-Generated Text

Paper • 2506.07001 • Published Jun 8 • 4

MA-LoT: Multi-Agent Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving

Paper • 2503.03205 • Published Mar 5 • 4

Diversity-Enhanced Reasoning for Subjective Questions

Paper • 2507.20187 • Published Jul 27 • 24

updated a model 3 months ago

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 1

updated a dataset 3 months ago

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 12

published a dataset 3 months ago

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 12

liked a model 6 months ago

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 1

published a model 6 months ago

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 1

liked a model 6 months ago

kfdong/STP_model_Lean

Text Generation • 7B • Updated Mar 24 • 20 • 3

published a model 6 months ago

RickyDeSkywalker/LoT-Solver

7B • Updated Aug 4

liked a model 7 months ago

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Aug 4 • 2 • 7

liked a dataset 12 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

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

New activity in RickyDeSkywalker/OpenBootstrappedTheorem about 1 year ago

Link dataset to paper

#2 opened about 1 year ago by

nielsr

updated a dataset about 1 year ago

RickyDeSkywalker/OpenBootstrappedTheorem

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

New activity in RickyDeSkywalker/TheoremLlama about 1 year ago

Link model to paper

#1 opened about 1 year ago by

nielsr

upvoted 2 papers about 1 year ago

DragVideo: Interactive Drag-style Video Editing

Paper • 2312.02216 • Published Dec 3, 2023 • 13

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Paper • 2407.03203 • Published Jul 3, 2024 • 12