FANS - Formal Answer Selection Using Lean4

AI & ML interests

None defined yet.

Recent Activity

FlippyDora  authored a paper 4 days ago

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

FlippyDora  updated a dataset about 1 month ago

ScaleML-FANS/FANS-data

FlippyDora  authored a paper about 1 month ago

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

View all activity

Team members 1