Ruida WANG's picture

3 4 4

Ruida WANG

RickyDeSkywalker

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper about 8 hours ago

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

upvoted a paper about 8 hours ago

Diversity-Enhanced Reasoning for Subjective Questions

updated a model 2 months ago

RickyDeSkywalker/LoT-Solver

View all activity

Organizations

None yet

Papers 2

arxiv:2312.02216

arxiv:2310.13671

models 3

RickyDeSkywalker/LoT-Solver

7B • Updated May 27 • 10

RickyDeSkywalker/LoT-Solver-Godel

7B • Updated May 27 • 1 • 1

RickyDeSkywalker/TheoremLlama

Text Generation • 8B • Updated Sep 24, 2024 • 168 • 7

datasets 2

RickyDeSkywalker/LoT-CorrectionData

Preview • Updated May 27 • 6

RickyDeSkywalker/OpenBootstrappedTheorem

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