arxiv:2606.17024
Violet Xiang PRO
violetxi
AI & ML interests
None yet
Recent Activity
updated a dataset 2 days ago
U-WIN/equational-theory-lean2nl-references-gpt-approved published a dataset 3 days ago
U-WIN/equational-theory-lean2nl-references-gpt-approved published a model 4 days ago
U-WIN/qwen35-9b-equational-theory-sair-syncards-e-notes50m-card3-ntp-kl-0p01