arxiv:2410.18194
Brando Miranda
brando
AI & ML interests
soccer, music, dance, reading
Recent Activity
new activity about 13 hours ago
StanfordAILean/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizations new activity about 21 hours ago
StanfordAILean/c-py-dataset:Add dataset README new activity about 21 hours ago
StanfordAILean/c-py-dataset:Upload 107 C/Python-to-Lean4 formalizationsOrganizations
models 43
brando/tfa_output_2025_m05_d13_t13h_01m_39s
Text Generation • 8B • Updated • 2
brando/tfa_output_2025_m05_d12_t23h_28m_45s
Text Generation • 8B • Updated
brando/tfa_output_2025_m05_d13_t13h_51m_30s
Feature Extraction • 2B • Updated • 1
brando/tfa_output_2025_m05_d13_t15h_50m_53s
Feature Extraction • 2B • Updated • 11
brando/tfa_output_2025_m05_d13_t15h_32m_47s
Feature Extraction • 2B • Updated • 1
brando/tfa_output_2025_m05_d13_t13h_38m_56s
Text Generation • 8B • Updated • 2
brando/tfa_output_2025_m05_d13_t13h_40m_09s
Text Generation • 8B • Updated • 1
brando/tfa_output_2025_m05_d10_t23h_57m_54s
Text Generation • 8B • Updated • 1
brando/tfa_output_2025_m05_d10_t23h_34m_59s
Text Generation • 8B • Updated • 2
brando/tfa_output_2025_m05_d10_t23h_58m_25s
Text Generation • 8B • Updated • 3
datasets 12
brando/minif2f-lean4
Viewer • Updated • 488 • 87
brando/proofnet-v3-lean4
Viewer • Updated • 365 • 12
brando/putnam-axiom-dataset-text-only
Viewer • Updated • 554 • 3 • 1
brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024
Viewer • Updated • 1.65k • 33 • 5
brando/small-open-web-math-dataset-v2
Viewer • Updated • 10k • 11 • 1
brando/small-open-web-math-dataset
Viewer • Updated • 10k • 10 • 1
brando/putnam_bench_informal
Viewer • Updated • 645 • 94 • 1
brando/random-all-ascii-dataset
Viewer • Updated • 15k • 26 • 1
brando/small-c4-dataset
Viewer • Updated • 30k • 441 • 8
brando/Coq-Gym-Data-Set
Viewer • Updated • 2.2M • 4 • 4