Andrija

Sagicc

·

https://phi2ai.com

DigitLib

AI & ML interests

Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage

Recent Activity

liked a model 3 days ago

MuScriptor/muscriptor-medium

updated a model 24 days ago

Sagicc/nanoGentzen-v2

new activity 27 days ago

Sagicc/nanoGentzen-v2:Upload overview-flow.svg

View all activity

Organizations

liked a model 3 days ago

MuScriptor/muscriptor-medium

0.3B • Updated Jul 10 • 3.58k • 169

updated a model 24 days ago

Sagicc/nanoGentzen-v2

Feature Extraction • 4.86M • Updated 24 days ago • 120

New activity in Sagicc/nanoGentzen-v2 27 days ago

Upload overview-flow.svg

#1 opened 27 days ago by

updated a Space about 1 month ago

nanoGentzen Neurosymbolic Studio

Verify logical sequents and get AI-powered proof explanations

updated a model about 1 month ago

Sagicc/nanoGentzen

Feature Extraction • 4.86M • Updated Aug 25 • 24

updated a dataset about 1 month ago

Sagicc/nanoGentzen-v2

Viewer • Updated Aug 25 • 400k • 52

updated a collection about 1 month ago

nanoGentzen

Test for Genzen calculus in LLM logic verification. • 5 items • Updated Aug 24

published a model about 1 month ago

Sagicc/nanoGentzen-v2

Feature Extraction • 4.86M • Updated 24 days ago • 120

updated a collection about 1 month ago

nanoGentzen

Test for Genzen calculus in LLM logic verification. • 5 items • Updated Aug 24

published a dataset about 1 month ago

Sagicc/nanoGentzen-v2

Viewer • Updated Aug 25 • 400k • 52

updated a dataset about 1 month ago

Sagicc/nanoGentzen

Viewer • Updated Aug 23 • 200k • 56

updated a collection about 1 month ago

nanoGentzen

Test for Genzen calculus in LLM logic verification. • 5 items • Updated Aug 24

published a Space about 1 month ago

nanoGentzen Neurosymbolic Studio

Verify logical sequents and get AI-powered proof explanations

New activity in Sagicc/nanoGentzen about 1 month ago

[bot] Conversion to Parquet

#1 opened about 1 month ago by

parquet-converter

New activity in choosealicense/licenses about 1 month ago

Update markdown/mit.md

#127 opened about 1 month ago by

updated a collection about 1 month ago

nanoGentzen

Test for Genzen calculus in LLM logic verification. • 5 items • Updated Aug 24

published a model about 1 month ago

Sagicc/nanoGentzen

Feature Extraction • 4.86M • Updated Aug 25 • 24

updated a collection about 1 month ago

nanoGentzen

Test for Genzen calculus in LLM logic verification. • 5 items • Updated Aug 24

published a dataset about 1 month ago

Sagicc/nanoGentzen

Viewer • Updated Aug 23 • 200k • 56

New activity in Sagicc/whisper-medium-sr-fleurs about 1 month ago

Adding `safetensors` variant of this model

#1 opened about 1 month ago by