Balaji Rao

kings-crown's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 4 days ago

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

Paper • 2603.14628 • Published 6 days ago • 1

updated a dataset about 1 year ago

kings-crown/PolicyProof51

Viewer • Updated Mar 7, 2025 • 639 • 7

updated a model about 1 year ago

kings-crown/ProofSeeker_v1

7B • Updated Mar 4, 2025

updated a dataset about 1 year ago

kings-crown/Few_shot_try

Viewer • Updated Mar 3, 2025 • 51 • 7

published a dataset about 1 year ago

kings-crown/Few_shot_try

Viewer • Updated Mar 3, 2025 • 51 • 7

published a model about 1 year ago

kings-crown/ProofSeeker_v1

7B • Updated Mar 4, 2025

updated a model about 1 year ago

kings-crown/Isabelle_SFT

7B • Updated Mar 2, 2025 • 2

published a model about 1 year ago

kings-crown/Isabelle_SFT

7B • Updated Mar 2, 2025 • 2

updated a model about 1 year ago

kings-crown/Isabelle_FVELer_SFT

7B • Updated Mar 2, 2025 • 1

published a model about 1 year ago

kings-crown/Isabelle_FVELer_SFT

7B • Updated Mar 2, 2025 • 1

updated 2 datasets about 1 year ago

kings-crown/FVELer_PISA_Proven

Viewer • Updated Feb 26, 2025 • 1.14k • 6

kings-crown/FVELer_PISA_NotProven

Viewer • Updated Feb 26, 2025 • 1.98k • 7

published 2 datasets about 1 year ago

kings-crown/FVELer_PISA_NotProven

Viewer • Updated Feb 26, 2025 • 1.98k • 7

kings-crown/FVELer_PISA_Proven

Viewer • Updated Feb 26, 2025 • 1.14k • 6

updated a model about 1 year ago

kings-crown/Isabelle_mvp_sft

Text Generation • 8B • Updated Feb 25, 2025 • 3

published a model about 1 year ago

kings-crown/Isabelle_mvp_sft

Text Generation • 8B • Updated Feb 25, 2025 • 3

updated a dataset about 1 year ago

kings-crown/SFT_Isabelle_mvp

Viewer • Updated Feb 24, 2025 • 200 • 6

published a dataset about 1 year ago

kings-crown/SFT_Isabelle_mvp

Viewer • Updated Feb 24, 2025 • 200 • 6

updated a dataset about 1 year ago

kings-crown/FVELER_Isabelle

Viewer • Updated Feb 20, 2025 • 26.2k • 4

published a dataset about 1 year ago

kings-crown/FVELER_Isabelle

Viewer • Updated Feb 20, 2025 • 26.2k • 4