{"id":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","url":"https://codeofpaper.com/paper/2102.06203","arxiv_url":"https://arxiv.org/abs/2102.06203","published":"2021-02-11","code":"official","best":{"full_name":"jesse-michael-han/lean-step-public","url":"https://github.com/jesse-michael-han/lean-step-public","tier":"official","stars":43,"license":"Apache-2.0","framework":null,"language":"Lean","last_commit":"2022-12-29T13:28:14"},"most_starred_community":null,"implementations":[{"full_name":"jesse-michael-han/lean-step-public","url":"https://github.com/jesse-michael-han/lean-step-public","tier":"official","stars":43,"license":"Apache-2.0","framework":null,"language":"Lean","last_commit":"2022-12-29T13:28:14"},{"full_name":"jasonrute/lean_proof_recording","url":"https://github.com/jasonrute/lean_proof_recording","tier":"official","stars":27,"license":"Apache-2.0","framework":null,"language":"Python","last_commit":"2021-09-30T16:21:14"}],"possible_matches":0}