Francesco

Upabjojr

7

Upabjojr

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

Upabjojr/tptp-v9.3.1

published a dataset about 1 month ago

Upabjojr/tptp-v9.3.1

published a dataset about 1 month ago

Upabjojr/smtlib-2025-nra

View all activity

Organizations

None yet

models 0

None public yet

datasets 6

Upabjojr/tptp-v9.3.1

Updated Sep 16 • 33

Upabjojr/z3test-nl-large

Viewer • Updated Sep 16 • 7 • 6

Upabjojr/tarski-brown-vale-enriquez-2019

Preview • Updated Sep 16 • 5

Upabjojr/smtlib-2025-nra

Updated Sep 16 • 18

Upabjojr/elevation-data-ASTER-compressed-retiled

Updated Oct 2, 2025 • 511

Upabjojr/documenti-societari-italiani-rag-eval

Updated Mar 10, 2025 • 62