Trained ExpRL checkpoints. Paper link: https://arxiv.org/abs/2606.17024
Violet Xiang PRO
violetxi
AI & ML interests
None yet
Recent Activity
updated a Space about 8 hours ago
violetxi/equational-theory-trajectory-atlas updated a dataset about 8 hours ago
violetxi/qwen35-9b-equational-theory-sair-r3-mix30m-eval updated a dataset about 8 hours ago
violetxi/qwen35-9b-equational-theory-sair-r3-mix10m-evalOrganizations
spaces 4
Running
Equational Theory Trajectory Atlas
🔎
SAIR reasoning, trained models and RAG failure analysis
Running
Equational Proofs · Base vs 100M
🧩
Paired proof rollouts, valid shortcuts and failure analysis
Running
Untied Growth · K=4
🧬
Looped vs untied: states, gradients, and KV caching at K=4.
Running
Recall, verification and action
🔎
Environment-specific recall and paired trajectories
models 162
violetxi/qwen35-9b-equational-theory-sair-mix100m-70n30t-thinking
Text Generation • 10B • Updated
violetxi/qwen35-9b-equational-theory-sair-mix50m-70n30t-thinking
Text Generation • 10B • Updated
violetxi/qwen35-9b-equational-theory-sair-mix10m-70n30t-thinking
Text Generation • 10B • Updated
violetxi/qwen35-9b-equational-theory-sair-mix5m-70n30t-thinking
Text Generation • 10B • Updated
violetxi/qwen35-9b-equational-theory-sair-mix1m-70n30t-thinking
Text Generation • 10B • Updated
violetxi/qwen35-9b-equational-theory-sair-mix100m-70n30t
Updated • 368
violetxi/qwen35-9b-equational-theory-sair-r3-mix30m
Updated • 218
violetxi/qwen35-9b-equational-theory-sair-mix100m
Updated • 69
violetxi/qwen35-9b-equational-theory-sair-r3-mix3m
Updated • 358
violetxi/qwen35-9b-equational-theory-sair-r3-mix10m
Updated • 208
datasets 290
violetxi/qwen35-9b-equational-theory-sair-r3-mix30m-eval
Viewer • Updated • 6.4k • 35
violetxi/qwen35-9b-equational-theory-sair-r3-mix10m-eval
Viewer • Updated • 6.4k • 48
violetxi/qwen35-9b-equational-theory-sair-r3-mix3m-eval
Viewer • Updated • 9.6k • 90
violetxi/qwen35-9b-equational-theory-sair-r3-mix1m-eval
Viewer • Updated • 9.6k • 85
violetxi/qwen35-9b-equational-theory-sair-base-eval
Viewer • Updated • 6.4k • 40
violetxi/equational-theory-thinking-7030-evals
Viewer • Updated • 24.1k
violetxi/sair-stage2-nl-verified
Viewer • Updated • 205 • 139
violetxi/equational-theory-sair-note-conditioned-rollouts
Viewer • Updated • 808k • 138
violetxi/equational-theory-sair-notes
Viewer • Updated • 192k • 171
violetxi/harvey-eval-qwen35-9b-notes-ntp-100m-kl-0p01
Preview • Updated • 68