Suggestion: declare that this repository is no longer maintained.

[yutakang]

Dear @DyeKuu ,

I guess nobody has the admin right to handle pull requests to this repository and the development of miniF2F is continuing at the corresponding repository at Facebook Research.

Can you, as the first author of the miniF2F paper, declare that you are no longer maintaining this repository (openai/miniF2F) and that you welcome new contributions and issues at the corresponding repository at Facebook Research to avoid confusions?

(Sorry if I guessed wrong.)

Regards,
Yutaka

[DyeKuu]

Hi @yutakang !

It is correct. The previous maintainers don't have the admin right to merge PR in this repo hosting miniF2F.

Currently, several new fixes are into FAIR's repo. https://github.com/facebookresearch/miniF2F.

New contributions, issues, and discussions are always welcome!

Kunhao