Trained ExpRL checkpoints. Paper link: https://arxiv.org/abs/2606.17024
Violet Xiang PRO
violetxi
AI & ML interests
None yet
Recent Activity
updated a dataset about 1 hour ago
U-WIN/equational-theory-lean2nl-references-gpt-approved published a dataset about 10 hours ago
U-WIN/equational-theory-lean2nl-references-gpt-approved published a model 2 days ago
U-WIN/qwen35-9b-equational-theory-sair-syncards-e-notes50m-card3-ntp-kl-0p01