zrrr's picture

5 5

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

liked a model about 19 hours ago

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

upvoted a paper 1 day ago

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

updated a model 1 day ago

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

View all activity

Organizations

Papers 4

arxiv:2508.03613

arxiv:2412.16145

arxiv:2412.06474

arxiv:2402.02030

models 0

None public yet

datasets 0

None public yet