Andrija

Sagicc's activity

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

New activity in LocalLLaMA/typed-decisions 7 days ago

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

3

#59 opened 9 days ago by

Sagicc

updated a model 7 days ago

Sagicc/nanoGentzen-v3

Text Classification • 4.89M • Updated 7 days ago • 147

New activity in Sagicc/nanoGentzen-v3 9 days ago

Add Typed Decisions eval results

#1 opened 9 days ago by

Sagicc

updated a model 9 days ago

Sagicc/nanoGentzen-Jev-v3

Text Classification • 4.93M • Updated 9 days ago • 186

updated a collection 9 days ago

nanoGentzen

Collection

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

published a model 9 days ago

Sagicc/nanoGentzen-v3

Text Classification • 4.89M • Updated 7 days ago • 147

updated a dataset 9 days ago

Sagicc/Gentzen-Kripke-240K

Viewer • Updated 9 days ago • 240k • 88

published a dataset 9 days ago

Sagicc/Gentzen-Kripke-240K

Viewer • Updated 9 days ago • 240k • 88

New activity in LocalLLaMA/typed-decisions 10 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 13 days ago by

Sagicc

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

Update .eval_results/Sagicc__nanoGentzen-Jev-v3.yaml

#2 opened 10 days ago by

Sagicc

updated a collection 10 days ago

nanoGentzen

Collection

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

updated a dataset 10 days ago

Sagicc/nanoGentzen-Jev

Viewer • Updated 10 days ago • 8.1k • 68

published a dataset 10 days ago

Sagicc/nanoGentzen-Jev

Viewer • Updated 10 days ago • 8.1k • 68

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

Add Typed Decisions eval results

#1 opened 13 days ago by

Sagicc

updated a collection 13 days ago

nanoGentzen

Collection

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

published a model 13 days ago

Sagicc/nanoGentzen-Jev-v3

Text Classification • 4.93M • Updated 9 days ago • 186

liked a model about 1 month ago

MuScriptor/muscriptor-medium

0.3B • Updated Jul 10 • 5.52k • 318

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