Ruida WANG

RickyDeSkywalker's activity

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

upvoted a paper 17 days ago

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

Paper • 2606.06523 • Published 24 days ago • 6

upvoted an article 3 months ago

view article

Article

Welcome Gemma 4: Frontier multimodal intelligence on device

• 
• 
• +5

merve, pcuenq, sergiopaniego, burtenshaw, Steveeeeeeen, alvarobartt, SaylorTwift

•

Apr 2

• 909

upvoted a collection 4 months ago

Qwen3

Collection

84 items • Updated Dec 31, 2025 • 1.82k

upvoted a paper 5 months ago

Future-KL Regularized GRPO: Process-Level Credit Assignment from f-Divergence Regularization

Paper • 2601.10201 • Published May 23 • 10

upvoted a paper 7 months ago

ToolOrchestra: Elevating Intelligence via Efficient Model and Tool Orchestration

Paper • 2511.21689 • Published Nov 26, 2025 • 128

upvoted 2 papers 8 months ago

ERA: Transforming VLMs into Embodied Agents via Embodied Prior Learning and Online Reinforcement Learning

Paper • 2510.12693 • Published Oct 14, 2025 • 28

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

Paper • 2510.11769 • Published Oct 13, 2025 • 26

upvoted a paper 10 months ago

Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training

Paper • 2509.03403 • Published Sep 3, 2025 • 23

upvoted 3 papers 11 months ago

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

Paper • 2506.07001 • Published Jun 8, 2025 • 4

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

Paper • 2503.03205 • Published Mar 5, 2025 • 5

Diversity-Enhanced Reasoning for Subjective Questions

Paper • 2507.20187 • Published Jul 27, 2025 • 26

upvoted 2 papers almost 2 years ago

DragVideo: Interactive Drag-style Video Editing

Paper • 2312.02216 • Published Dec 3, 2023 • 11

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Paper • 2407.03203 • Published Jul 3, 2024 • 12