Ruida WANG

RickyDeSkywalker's activity

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

updated 2 models 17 days ago

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated 17 days ago • 148 • 7

RickyDeSkywalker/LoT-Solver

7B • Updated 17 days ago • 6

upvoted a paper 22 days ago

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

Paper • 2506.07001 • Published Jun 8 • 4

upvoted 2 papers 23 days ago

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 25 days ago • 23

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 • 5

published a dataset 3 months ago

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 5

liked a model 5 months ago

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 1

published a model 5 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 • 101 • 3

published a model 6 months ago

RickyDeSkywalker/LoT-Solver

7B • Updated 17 days ago • 6

liked a model 6 months ago

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated 17 days ago • 148 • 7

liked a dataset 11 months ago

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 26 • 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 • 26 • 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

commented a paper about 1 year ago

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Paper • 2407.03203 • Published Jul 3, 2024 • 12 •

1