Polydim Einsof

Polydim-Einsof

AI & ML interests

None yet

Recent Activity

updated a model 2 days ago

Polydim-Einsof/xiaomi_mimo_9b_PMTP_polydim_einsof

updated a model 2 days ago

Polydim-Einsof/pplx_decider_27b_PMTP_polydim_einsof

updated a model 2 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 2 days ago • 201

Polydim-Einsof/einsof-formal-theorems-dataset

Viewer • Updated 3 days ago • 3.48k • 96

Polydim-Einsof/einsof-theorems-dataset

Viewer • Updated 4 days ago • 1.74k • 118