zrrr

zrrr

6 5

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago

Odysseus: Scaling VLMs to 100+ Turn Decision-Making in Games via Reinforcement Learning

liked a model 3 months ago

Goedel-LM/Goedel-Code-Prover-8B

upvoted a paper 3 months ago

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

View all activity

Organizations

zrrr 's datasets

None public yet