reza ghafoori

rezaghafoori

AI & ML interests

None yet

Recent Activity

commentedon a paper 4 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

commentedon a paper 4 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

commentedon a paper 4 days ago

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

View all activity

Organizations

None yet

rezaghafoori 's models

None public yet