Fish
TropicalFatFish
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 month ago
ROSE: An Intent-Centered Evaluation Metric for NL2SQL liked a dataset 10 months ago
PAug/ProofNetSharp liked a dataset over 1 year ago
Goedel-LM/Lean-workbook-proofsOrganizations
