Cognitive-Lab/Kannada-Instruct-dataset
Viewer • Updated • 390k • 31 • 13
Balaji Rao
kings-crown
AI & ML interests
None yet
Recent Activity
authored a paper 12 days ago
Neural Theorem Proving: Generating and Structuring Proofs for Formal
Verification submitted a paper 13 days ago
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs authored a paper 13 days ago
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMsOrganizations
None yet
liked a
dataset over 1 year ago