Fish's picture

1 2

Fish

TropicalFatFish

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 8 days 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-proofs

View all activity

Organizations

upvoted a paper 8 days ago

ROSE: An Intent-Centered Evaluation Metric for NL2SQL

Paper • 2604.12988 • Published 12 days ago • 11

liked a dataset 9 months ago

PAug/ProofNetSharp

Viewer • Updated Mar 24, 2025 • 371 • 56 • 8

liked a dataset about 1 year ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24, 2025 • 29.8k • 2k • 16