renma/ProofWriter
Viewer
•
Updated
•
600
•
41
•
3
Ren Ma
renma
AI & ML interests
None yet
Recent Activity
liked
a dataset
about 1 month ago
renma/ProntoQA
upvoted
a
paper
2 months ago
Large Language Model-Brained GUI Agents: A Survey
updated
a dataset
9 months ago
renma/ProofWriter
Organizations
None yet
models
None public yet