Ren Ma's picture

2 1 3

Ren Ma

renma

·

AI & ML interests

None yet

Recent Activity

new activity 12 days ago

opendatalab/ProverQA:Add description, task category and link to paper

new activity 18 days ago

opendatalab/ProverQA:Update README.md

updated a dataset 18 days ago

opendatalab/ProverQA

View all activity

Organizations

renma's activity

New activity in opendatalab/ProverQA 12 days ago

Add description, task category and link to paper

#2 opened 12 days ago by

New activity in opendatalab/ProverQA 18 days ago

Update README.md

#1 opened 18 days ago by