Balaji Rao

kings-crown

·

AI & ML interests

None yet

Organizations

None yet

kings-crown 's datasets 23

kings-crown/s2n-bignum-bench

Viewer • Updated May 5 • 2.3k • 11

kings-crown/PolicyProof51

Viewer • Updated Mar 7, 2025 • 639 • 11

kings-crown/Few_shot_try

Viewer • Updated Mar 3, 2025 • 51 • 3

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

kings-crown/SFT_Isabelle_mvp

Viewer • Updated Feb 24, 2025 • 200 • 10

kings-crown/FVELER_Isabelle

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

kings-crown/Isabelle_SFT

Viewer • Updated Feb 15, 2025 • 971 • 26

kings-crown/Isabelle_Proofs

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

kings-crown/Putnam

Viewer • Updated Feb 2, 2025 • 645 • 13

kings-crown/Isabelle_RL

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

kings-crown/IsarCombined

Viewer • Updated Apr 24, 2024 • 98 • 4

kings-crown/IsarLang

Preview • Updated Apr 24, 2024 • 3

kings-crown/IsabelleTraining

Updated Apr 23, 2024 • 3

kings-crown/IsarCodingLearn

Updated Apr 23, 2024 • 4

kings-crown/Isar

Viewer • Updated Apr 2, 2024 • 34 • 4

kings-crown/Aircrafts_updated

Viewer • Updated Feb 16, 2024 • 128 • 6

kings-crown/Causal_Keys

Viewer • Updated Nov 28, 2023 • 130 • 5

kings-crown/EM624_QA_full

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

kings-crown/summary_key

Viewer • Updated Nov 21, 2023 • 130 • 17

kings-crown/Aircraft_keys

Viewer • Updated Nov 19, 2023 • 130 • 5

kings-crown/Aircraft_summary

Viewer • Updated Nov 18, 2023 • 130 • 10

kings-crown/Aircraft_Reports

Viewer • Updated Nov 17, 2023 • 130 • 4