FANS - Formal Answer Selection Using Lean4

AI & ML interests

None defined yet.

Recent Activity

FlippyDora  updated a dataset 22 days ago

ScaleML-FANS/FANS-data

FlippyDora  authored a paper 24 days ago

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

FlippyDora  published a dataset 26 days ago

ScaleML-FANS/FANS-data

View all activity

Team members 1