Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Filipe Laitenberger's picture
1 6 5

Filipe Laitenberger

flaitenberger
aynetdia's profile picture plonerma's profile picture mbelitsky's profile picture
·
  • Thiggel

AI & ML interests

None yet

Recent Activity

updated a dataset about 10 hours ago
flaitenberger/LogicalReasoning-hard-v5
upvoted a paper 4 days ago
Repetition over Diversity: High-Signal Data Filtering for Sample-Efficient German Language Modeling
published a dataset 6 days ago
flaitenberger/LogicalReasoning-hard-v5
View all activity

Organizations

None yet

Papers 1

arxiv:2510.13876

models 0

None public yet

datasets 28

flaitenberger/LogicalReasoning-hard-v5

Viewer • Updated about 10 hours ago • 200k • 114

flaitenberger/LogicalReasoning-hard-v3

Viewer • Updated 8 days ago • 2.02M • 65

flaitenberger/LogicalReasoning-hard-v1

Viewer • Updated 11 days ago • 2.02M • 614

flaitenberger/LogicalReasoning-hard-v2

Viewer • Updated 12 days ago • 2.02M • 52

flaitenberger/folio_gold_formalized_trl

Viewer • Updated 30 days ago • 839 • 87

flaitenberger/prontoqa_gold_formalized

Viewer • Updated Apr 6 • 500 • 9

flaitenberger/folio_gold_formalized

Viewer • Updated Apr 6 • 839 • 11

flaitenberger/proofwriter_gold_formalized

Viewer • Updated Apr 1 • 586k • 7

flaitenberger/proofwriter-premise-grounding-hard-negatives-v1

Viewer • Updated Mar 30 • 456 • 3

flaitenberger/reasoning_with_formal_logic

Viewer • Updated Feb 14 • 5.18k • 12
View 28 datasets
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs