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 21 hours ago
U-WIN/equational-theory-lean2nl-references-gpt-approved published a dataset 1 day ago
U-WIN/equational-theory-lean2nl-references-gpt-approved published a model 3 days ago
U-WIN/qwen35-9b-equational-theory-sair-syncards-e-notes50m-card3-ntp-kl-0p01