FANS - Formal Answer Selection Using Lean4

ScaleML-FANS's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

FlippyDora 

updated a dataset about 1 month ago

ScaleML-FANS/result

Preview • Updated Nov 26 • 2

FlippyDora 

published a dataset about 1 month ago

ScaleML-FANS/result

Preview • Updated Nov 26 • 2

FlippyDora 

authored a paper 6 months ago

Chain-of-Experts: Unlocking the Communication Power of Mixture-of-Experts Models

Paper • 2506.18945 • Published Jun 23 • 40

FlippyDora 

authored a paper 7 months ago

MiCRo: Mixture Modeling and Context-aware Routing for Personalized Preference Learning

Paper • 2505.24846 • Published May 30 • 15

FlippyDora 

updated a dataset 8 months ago

ScaleML-FANS/FANS-data

Preview • Updated May 8 • 148

FlippyDora 

authored a paper 8 months ago

Optimizing Chain-of-Thought Reasoners via Gradient Variance Minimization in Rejection Sampling and RL

Paper • 2505.02391 • Published May 5 • 25

FlippyDora 

published a dataset 8 months ago

ScaleML-FANS/FANS-data

Preview • Updated May 8 • 148