G
YuriGGG
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 9 hours ago
VeriGUI: Verifiable Long-Chain GUI Dataset
liked
a dataset
4 days ago
2077AIDataFoundation/VeriGUI
upvoted
a
paper
3 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models
Organizations
