Arthur Zhang

Arthur210's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in INSAIT-Institute/OPC 3 months ago

Inquiry Regarding Reproducing Results in Table 1 of "The Open Proof Corpus" Paper

#2 opened 3 months ago by

Arthur210