FANS - Formal Answer Selection Using Lean4

AI & ML interests

None defined yet.

Recent Activity

FlippyDora  authored a paper about 3 hours ago

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

FlippyDora  submitted a paper about 15 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

View all activity

Team members 1