Polydim Einsof

Polydim-Einsof

AI & ML interests

None yet

Recent Activity

updated a model 5 days ago

Polydim-Einsof/xiaomi_mimo_9b_PMTP_polydim_einsof

updated a model 5 days ago

Polydim-Einsof/pplx_decider_27b_PMTP_polydim_einsof

updated a model 5 days ago

Polydim-Einsof/gemma2_9b_PMTP_polydim_einsof

View all activity

Organizations

None yet

Polydim-Einsof 's datasets 3

Polydim-Einsof/POLYDIM-EINSOF-Canonical-Papers-V1550

Updated 5 days ago • 236

Polydim-Einsof/einsof-formal-theorems-dataset

Viewer • Updated 6 days ago • 3.48k • 120

Polydim-Einsof/einsof-theorems-dataset

Viewer • Updated 7 days ago • 1.74k • 140