FANS - Formal Answer Selection Using Lean4

AI & ML interests

None defined yet.

Recent Activity

FlippyDora  submitted a paper about 4 hours ago

PRL: Process Reward Learning Improves LLMs' Reasoning Ability and Broadens the Reasoning Boundary

FlippyDora  updated a dataset about 2 months ago

ScaleML-FANS/result

FlippyDora  published a dataset about 2 months ago

ScaleML-FANS/result

View all activity

Team members 1