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, 2025 • 2.14k • 21

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

Viewer • Updated Jun 11, 2025 • 2.14k • 116

AK123321/real-math-corpus-questions

Viewer • Updated Jun 10, 2025 • 2.14k • 72

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

Viewer • Updated Jun 9, 2025 • 2.14k • 10

AK123321/Benchmark

Viewer • Updated May 11, 2025 • 1.8k • 8