arxiv:2510.13876
Filipe Laitenberger
flaitenberger
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
PACE: Periodic and Channel-Aligned Encoding of Four-Bit Recurrent States upvoted a paper 3 months ago
Self-Supervised Learning of Structured Dynamics from VideosOrganizations
None yet
models 0
None public yet
datasets 28
flaitenberger/LogicalReasoning-hard-v5
Viewer • Updated • 200k • 800
flaitenberger/LogicalReasoning-hard-v3
Viewer • Updated • 2.02M • 326 • 1
flaitenberger/LogicalReasoning-hard-v1
Viewer • Updated • 2.02M • 403
flaitenberger/LogicalReasoning-hard-v2
Viewer • Updated • 2.02M • 93
flaitenberger/folio_gold_formalized_trl
Viewer • Updated • 839 • 166
flaitenberger/prontoqa_gold_formalized
Viewer • Updated • 500 • 37
flaitenberger/folio_gold_formalized
Viewer • Updated • 839 • 135
flaitenberger/proofwriter_gold_formalized
Viewer • Updated • 586k • 124
flaitenberger/proofwriter-premise-grounding-hard-negatives-v1
Viewer • Updated • 456 • 13
flaitenberger/reasoning_with_formal_logic
Viewer • Updated • 5.18k • 99