APPS: Automated Programming Progress Standard (NeurIPS 2021)
Why do you think that https://github.com/logic-and-learning-lab/Popper is a good alternative to apps
APPS: Automated Programming Progress Standard (NeurIPS 2021)
Why do you think that https://github.com/logic-and-learning-lab/Popper is a good alternative to apps