Adarsh Kumarappan's picture

Adarsh Kumarappan

AK123321

AI & ML interests

None yet

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 • 4

AK123321/pl-leancopilot-2

Updated Aug 4, 2024

AK123321/pl-leancopilot-1

Updated Aug 4, 2024

AK123321/ct2-leancopilot-1

Updated Aug 3, 2024 • 6

datasets 5

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

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

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

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

AK123321/real-math-corpus-questions

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

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

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

AK123321/Benchmark

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