Arthur Zhang's picture

Arthur Zhang

Arthur210

·

AI & ML interests

None yet

Recent Activity

liked a Space 26 days ago

liked a model about 1 month ago

openbmb/MiniCPM-SALA

new activity 9 months ago

INSAIT-Institute/OPC:Inquiry Regarding Reproducing Results in Table 1 of "The Open Proof Corpus" Paper

View all activity

Organizations

None yet

New activity in INSAIT-Institute/OPC 9 months ago

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

#2 opened 9 months ago by