RickyDeSkywalker/LoT-Solver-Godel
7B
•
Updated
•
1
•
1
Ruida WANG
RickyDeSkywalker
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 2 months ago
ERA: Transforming VLMs into Embodied Agents via Embodied Prior Learning
and Online Reinforcement Learning
upvoted
a
paper
about 2 months ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem
Proving
commented on
a paper
about 2 months ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem
Proving
Organizations
liked
2
models
9 months ago
liked
a
model
10 months ago
liked
a
dataset
about 1 year ago