Enrico's picture

1 11

Enrico

envomp

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

envomp/simple_first-order_propositional_logic

updated a dataset about 1 month ago

envomp/simple_first-order_propositional_logic

published a dataset 4 months ago

envomp/simple_first-order_propositional_logic

View all activity

Organizations

None yet

Papers 1

arxiv:2507.07574

models 0

None public yet

datasets 1

envomp/simple_first-order_propositional_logic

Viewer • Updated Nov 10 • 11.4M • 1.43k