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