Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
1
3
Ren Ma
renma
Follow
dark-pen's profile picture
1 follower
·
2 following
AI & ML interests
None yet
Recent Activity
new
activity
1 day ago
opendatalab/ProverQA:
Update README.md
updated
a dataset
1 day ago
opendatalab/ProverQA
liked
a dataset
1 day ago
opendatalab/ProverQA
View all activity
Organizations
renma
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
New activity in
opendatalab/ProverQA
1 day ago
Update README.md
#1 opened 1 day ago by
Trayvon
updated
a dataset
1 day ago
opendatalab/ProverQA
Preview
•
Updated
1 day ago
•
1
liked
a dataset
1 day ago
opendatalab/ProverQA
Preview
•
Updated
1 day ago
•
1
published
a dataset
1 day ago
opendatalab/ProverQA
Preview
•
Updated
1 day ago
•
1
liked
a dataset
about 2 months ago
renma/ProntoQA
Viewer
•
Updated
May 22, 2024
•
500
•
61
•
4
upvoted
a
paper
3 months ago
Large Language Model-Brained GUI Agents: A Survey
Paper
•
2411.18279
•
Published
Nov 27, 2024
•
29
updated
2 datasets
9 months ago
renma/ProofWriter
Viewer
•
Updated
May 22, 2024
•
600
•
48
•
3
renma/ProntoQA
Viewer
•
Updated
May 22, 2024
•
500
•
61
•
4
liked
a model
over 2 years ago
HIT-TMG/dialogue-bart-large-chinese
Text2Text Generation
•
Updated
Dec 14, 2022
•
35
•
22