arxiv:2510.13876
Filipe Laitenberger
flaitenberger
AI & ML interests
None yet
Recent Activity
updated a model about 8 hours ago
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed202 updated a model about 8 hours ago
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed101 updated a model about 8 hours ago
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed303Organizations
None yet
models 469
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed202
7B • Updated
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed101
7B • Updated
flaitenberger/rlvl-olmo3-1025-7b-hybrid-formal-standard-sft-seed303
7B • Updated
flaitenberger/finetune-merged
Updated
flaitenberger/rlvl-olmo3-1025-7b-formal-logic-sft-logic-seed202
7B • Updated • 13
flaitenberger/rlvl-olmo3-1025-7b-formal-logic-sft-logic-seed303
7B • Updated • 7
flaitenberger/rlvl-olmo3-1025-7b-formal-logic-sft-logic-seed101
7B • Updated • 1.41k
flaitenberger/rlvl-olmo3-1025-7b-formal-logic-sft-natural-seed202
7B • Updated • 12
flaitenberger/rlvl-olmo3-1025-7b-formal-logic-sft-natural-seed101
7B • Updated • 1.76k
flaitenberger/rlvl-olmo3-1025-7b-formal-logic-sft-natural-seed303
7B • Updated • 7
datasets 20
flaitenberger/proofwriter_gold_formalized
Viewer • Updated • 586k • 36
flaitenberger/proofwriter-premise-grounding-hard-negatives-v1
Viewer • Updated • 456 • 16
flaitenberger/cephalometry-novel-sparse-duplicates-grouped
Viewer • Updated • 73 • 8
flaitenberger/cephalometry-novel-sparse-duplicates-single-image
Viewer • Updated • 60 • 10
flaitenberger/arc_agi_1_augmented
Viewer • Updated • 4.02M • 10
flaitenberger/arc_agi_2_augmented
Viewer • Updated • 5.33M • 10
flaitenberger/sudoku_extreme_augmented
Viewer • Updated • 1.42M • 9 • 1
flaitenberger/maze_hard_augmented
Viewer • Updated • 2k • 5
flaitenberger/reasoning_with_logic_cot_hq-refined
Viewer • Updated • 100 • 11
flaitenberger/wnut_17
Viewer • Updated • 5.69k • 24 • 1