Adarsh Kumarappan's picture

Adarsh Kumarappan

AK123321

AI & ML interests

None yet

Organizations

None yet

AK123321 's datasets 5

AK123321/real-math-corpus-questions-with-cross-paper-retrievals

Viewer • Updated Jun 11 • 2.14k • 16

AK123321/real-math-corpus-questions-with-retrievals

Viewer • Updated Jun 11 • 2.14k • 12

AK123321/real-math-corpus-questions

Viewer • Updated Jun 10 • 2.14k • 13

AK123321/real-math-dataset-207-with-extra-proof-dependencies-corpus

Viewer • Updated Jun 9 • 2.14k • 18

AK123321/Benchmark

Viewer • Updated May 11 • 1.8k • 17