arxiv:2510.13876
Filipe Laitenberger
flaitenberger
AI & ML interests
None yet
Recent Activity
updated a dataset about 3 hours ago
flaitenberger/LogicalReasoning-hard-v2 published a dataset about 3 hours ago
flaitenberger/LogicalReasoning-hard-v2 updated a dataset 18 days ago
flaitenberger/folio_gold_formalized_trlOrganizations
None yet
models 0
None public yet
datasets 25
flaitenberger/LogicalReasoning-hard-v2
Updated
flaitenberger/folio_gold_formalized_trl
Viewer • Updated • 839 • 85
flaitenberger/prontoqa_gold_formalized
Viewer • Updated • 500 • 40
flaitenberger/folio_gold_formalized
Viewer • Updated • 839 • 38
flaitenberger/proofwriter_gold_formalized
Viewer • Updated • 586k • 63
flaitenberger/proofwriter-premise-grounding-hard-negatives-v1
Viewer • Updated • 456 • 18
flaitenberger/reasoning_with_formal_logic
Viewer • Updated • 5.18k • 58
flaitenberger/cephalometry-novel-sparse-duplicates-grouped
Viewer • Updated • 73 • 10
flaitenberger/cephalometry-novel-sparse-duplicates-single-image
Viewer • Updated • 60 • 10
flaitenberger/arc_agi_1_augmented
Viewer • Updated • 4.02M • 24