Almaz Dautov

the-hir0 's models 4

Sort:  Recently updated

the-hir0/ILM-lean-prover

8B • Updated Jun 13, 2025 • 3

the-hir0/google-t5-small-spellchecker

60.5M • Updated Mar 20, 2024 • 9

the-hir0/pegasus-detoxify

Updated Nov 5, 2023 • 8

the-hir0/t5-small-detoxify

Updated Nov 5, 2023 • 5