Andrija

Sagicc's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in LocalLLaMA/typed-decisions 13 days ago

[Leaderboard Submission] nanoGentzen-v3 (4.93M) - 76.75% Accuracy (General) - New Version

3

#59 opened 15 days ago by

Sagicc

updated a model 13 days ago

Sagicc/nanoGentzen-v3

Text Classification • 4.89M • Updated 13 days ago • 171

New activity in Sagicc/nanoGentzen-v3 15 days ago

Add Typed Decisions eval results

#1 opened 15 days ago by

Sagicc

updated a model 15 days ago

Sagicc/nanoGentzen-Jev-v3

Text Classification • 4.93M • Updated 15 days ago • 204

updated a collection 15 days ago

nanoGentzen

Collection

Test for Genzen calculus in LLM logic verification. • 9 items • Updated 15 days ago

published a model 15 days ago

Sagicc/nanoGentzen-v3

Text Classification • 4.89M • Updated 13 days ago • 171

updated a dataset 15 days ago

Sagicc/Gentzen-Kripke-240K

Viewer • Updated 15 days ago • 240k • 97

published a dataset 15 days ago

Sagicc/Gentzen-Kripke-240K

Viewer • Updated 15 days ago • 240k • 97

New activity in LocalLLaMA/typed-decisions 16 days ago

Add Sagicc/nanoGentzen-Jev-v3 (4.93M params) — 0.731 acc, 0.150 KL, 0.081 Brier, 0.087 ECE

4

#52 opened 18 days ago by

Sagicc

New activity in Sagicc/nanoGentzen-Jev-v3 16 days ago

Update .eval_results/Sagicc__nanoGentzen-Jev-v3.yaml

#2 opened 16 days ago by

Sagicc

updated a collection 16 days ago

nanoGentzen

Collection

Test for Genzen calculus in LLM logic verification. • 9 items • Updated 15 days ago

updated a dataset 16 days ago

Sagicc/nanoGentzen-Jev

Viewer • Updated 16 days ago • 8.1k • 79

published a dataset 16 days ago

Sagicc/nanoGentzen-Jev

Viewer • Updated 16 days ago • 8.1k • 79

New activity in Sagicc/nanoGentzen-Jev-v3 18 days ago

Add Typed Decisions eval results

#1 opened 18 days ago by

Sagicc

updated a collection 19 days ago

nanoGentzen

Collection

Test for Genzen calculus in LLM logic verification. • 9 items • Updated 15 days ago

published a model 19 days ago

Sagicc/nanoGentzen-Jev-v3

Text Classification • 4.93M • Updated 15 days ago • 204

liked a model about 2 months ago

MuScriptor/muscriptor-medium

0.3B • Updated Jul 10 • 5.74k • 353

updated a model 2 months ago

Sagicc/nanoGentzen-v2

Feature Extraction • 4.86M • Updated Sep 7 • 30

New activity in Sagicc/nanoGentzen-v2 2 months ago

Upload overview-flow.svg

#1 opened 2 months ago by

Sagicc