2077AI
2077AIdata
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 2 months ago
VeriGUI: Verifiable Long-Chain GUI Dataset
upvoted
a
collection
about 2 months ago
OpenCoder Datasets
upvoted
a
paper
5 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models