Balaji Rao's picture

Balaji Rao

kings-crown

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

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

updated a dataset about 1 year ago

kings-crown/PolicyProof51

updated a model about 1 year ago

kings-crown/ProofSeeker_v1

View all activity

Organizations

None yet

kings-crown 's models 16

kings-crown/ProofSeeker_v1

7B • Updated Mar 4, 2025

kings-crown/Isabelle_SFT

7B • Updated Mar 2, 2025 • 2

kings-crown/Isabelle_FVELer_SFT

7B • Updated Mar 2, 2025 • 1

kings-crown/Isabelle_mvp_sft

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

kings-crown/Qwen2.5-1.5B-Open-R1-Distill

Text Generation • 2B • Updated Feb 15, 2025 • 4

kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF

1B • Updated Oct 21, 2024 • 3

kings-crown/Llama-3.2-1B-Instruct-EM624

1B • Updated Oct 9, 2024

kings-crown/IsarLlama-3-8b

Updated Apr 26, 2024

kings-crown/IsarLLama-2-7b

Updated Apr 26, 2024

kings-crown/IsarLlama-2-13b

Updated Apr 26, 2024

kings-crown/CodeIsar

Updated Apr 16, 2024

kings-crown/SyntaxTunedIsar

Updated Apr 16, 2024

kings-crown/IsarFinetuned

Updated Apr 11, 2024

kings-crown/Llama-2-7b-Instruct

Updated Mar 7, 2024

kings-crown/EM624_QA_Multi

Text Generation • Updated Dec 7, 2023

kings-crown/EM624_QA_Full

Updated Nov 27, 2023