arxiv:2510.13876
Filipe Laitenberger
flaitenberger
AI & ML interests
None yet
Recent Activity
updated a dataset 3 days ago
flaitenberger/folio_gold_formalized_trl published a dataset 3 days ago
flaitenberger/folio_gold_formalized_trl updated a dataset 6 days ago
flaitenberger/folio_gold_formalizedOrganizations
None yet
models 468
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed101-lr5e-4-bs1-nf4off-3ep-eval32
Updated
flaitenberger/rlvl-olmo3-1025-7b-logic-sft-seed101-lr5e-4-bs1-nf4off
Updated
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed101-lr5e-4-bs1-nf4off
Updated
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed101-lr5e-5-v4
Updated
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed101-lr5e-4-v7
Updated
flaitenberger/rlvl-olmo3-1025-7b-logic-sft-seed101-lr5e-5-v4
Updated
flaitenberger/rlvl-olmo3-1025-7b-logic-sft-seed101-lr5e-4-v4
Updated
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed202-v3
Updated
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed303-v3
7B • Updated • 13
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed101-v3
7B • Updated • 13
datasets 24
flaitenberger/folio_gold_formalized_trl
Viewer • Updated • 839 • 82
flaitenberger/prontoqa_gold_formalized
Viewer • Updated • 500 • 37
flaitenberger/folio_gold_formalized
Viewer • Updated • 839 • 35
flaitenberger/proofwriter_gold_formalized
Viewer • Updated • 586k • 61
flaitenberger/proofwriter-premise-grounding-hard-negatives-v1
Viewer • Updated • 456 • 17
flaitenberger/reasoning_with_formal_logic
Viewer • Updated • 5.18k • 85
flaitenberger/cephalometry-novel-sparse-duplicates-grouped
Viewer • Updated • 73 • 6
flaitenberger/cephalometry-novel-sparse-duplicates-single-image
Viewer • Updated • 60 • 9
flaitenberger/arc_agi_1_augmented
Viewer • Updated • 4.02M • 10
flaitenberger/arc_agi_2_augmented
Viewer • Updated • 5.33M • 10