AI.info

Ali Torkamani

Explore Ali Torkamani on AI.info.

• Beyond Solver Verdicts: Generative Reward Models for Autoformalization