Ren Ma's picture

2 1 3

Ren Ma

renma

·

AI & ML interests

None yet

Recent Activity

new activity 10 days ago

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

new activity 15 days ago

opendatalab/ProverQA:Update README.md

updated a dataset 15 days ago

opendatalab/ProverQA

View all activity

Organizations

models

None public yet

datasets 2

renma/ProofWriter

Viewer • Updated May 22, 2024 • 600 • 167 • 3

renma/ProntoQA

Viewer • Updated May 22, 2024 • 500 • 78 • 4