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