AI.info

Aman Goel

Explore Aman Goel on AI.info.

• Beyond Solver Verdicts: Generative Reward Models for Autoformalization