FANS - Formal Answer Selection Using Lean4

AI & ML interests

None defined yet.

Recent Activity

FlippyDora  authored a paper about 11 hours ago

EscapeBench: Towards Advancing Creative Intelligence of Language Model Agents

FlippyDora  authored a paper about 11 hours ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

FlippyDora  authored a paper about 11 hours ago

ERA: Transforming VLMs into Embodied Agents via Embodied Prior Learning and Online Reinforcement Learning

View all activity

Team members 1