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 datasets 22

kings-crown/PolicyProof51

Viewer • Updated Mar 7, 2025 • 639 • 7

kings-crown/Few_shot_try

Viewer • Updated Mar 3, 2025 • 51 • 8

kings-crown/FVELer_PISA_Proven

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

kings-crown/FVELer_PISA_NotProven

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

kings-crown/SFT_Isabelle_mvp

Viewer • Updated Feb 24, 2025 • 200 • 7

kings-crown/FVELER_Isabelle

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

kings-crown/Isabelle_SFT

Viewer • Updated Feb 15, 2025 • 971 • 6

kings-crown/Isabelle_Proofs

Viewer • Updated Feb 13, 2025 • 1.02k • 7

kings-crown/Putnam

Viewer • Updated Feb 2, 2025 • 645 • 8

kings-crown/Isabelle_RL

Viewer • Updated Jan 30, 2025 • 244k • 10 • 1

kings-crown/IsarCombined

Viewer • Updated Apr 24, 2024 • 98 • 6

kings-crown/IsarLang

Preview • Updated Apr 24, 2024 • 5

kings-crown/IsabelleTraining

Updated Apr 23, 2024 • 6

kings-crown/IsarCodingLearn

Updated Apr 23, 2024 • 5

kings-crown/Isar

Viewer • Updated Apr 2, 2024 • 34 • 6

kings-crown/Aircrafts_updated

Viewer • Updated Feb 16, 2024 • 128 • 11

kings-crown/Causal_Keys

Viewer • Updated Nov 28, 2023 • 130 • 7

kings-crown/EM624_QA_full

Viewer • Updated Nov 28, 2023 • 4.33k • 12

kings-crown/summary_key

Viewer • Updated Nov 21, 2023 • 130 • 7

kings-crown/Aircraft_keys

Viewer • Updated Nov 19, 2023 • 130 • 9

kings-crown/Aircraft_summary

Viewer • Updated Nov 18, 2023 • 130 • 10

kings-crown/Aircraft_Reports

Viewer • Updated Nov 17, 2023 • 130 • 7