{"id":"2002.07019","title":"Learning to Prove Theorems by Learning to Generate Theorems","url":"https://codeofpaper.com/paper/2002.07019","arxiv_url":"https://arxiv.org/abs/2002.07019","published":"2020-02-17","code":"official","best":{"full_name":"princeton-vl/MetaGen","url":"https://github.com/princeton-vl/MetaGen","tier":"official","stars":33,"license":"BSD-2-Clause","framework":null,"language":"Objective-C++","last_commit":"2020-10-30T01:05:37"},"most_starred_community":null,"implementations":[{"full_name":"princeton-vl/MetaGen","url":"https://github.com/princeton-vl/MetaGen","tier":"official","stars":33,"license":"BSD-2-Clause","framework":null,"language":"Objective-C++","last_commit":"2020-10-30T01:05:37"}],"possible_matches":0}