Adarsh Kumarappan's picture

Adarsh Kumarappan

AK123321

AI & ML interests

None yet

Recent Activity

updated a dataset about 2 months ago

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

published a dataset about 2 months ago

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

updated a dataset about 2 months ago

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

View all activity

Organizations

None yet

models 6

AK123321/emb-leancopilot-1

Updated Aug 4, 2024

AK123321/emb-leancopilot-2

Updated Aug 4, 2024

AK123321/ct2-leancopilot-2

Updated Aug 4, 2024 • 3

AK123321/pl-leancopilot-2

Updated Aug 4, 2024

AK123321/pl-leancopilot-1

Updated Aug 4, 2024

AK123321/ct2-leancopilot-1

Updated Aug 3, 2024 • 3

datasets 5

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

Viewer • Updated Jun 11 • 2.14k • 27

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

Viewer • Updated Jun 11 • 2.14k • 19

AK123321/real-math-corpus-questions

Viewer • Updated Jun 10 • 2.14k • 24

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

Viewer • Updated Jun 9 • 2.14k • 21

AK123321/Benchmark

Viewer • Updated May 11 • 1.8k • 5