AI.info

Ferhat Erata

Explore Ferhat Erata on AI.info.

• Beyond Solver Verdicts: Generative Reward Models for Autoformalization