nanoGentzen Neurosymbolic Studio
🧠
Verify logical sequents and get AI-powered proof explanations
Andrija
Sagicc
AI & ML interests
Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage
Recent Activity
updated a Space 4 days ago
Sagicc/nanoGenzen-GUI updated a model 4 days ago
Sagicc/nanoGentzen updated a dataset 4 days ago
Sagicc/nanoGentzen-v2Organizations
updated a
Space 4 days ago
updated a
model 4 days ago
updated a
dataset 4 days ago
updated a
collection 4 days ago
updated a
model 4 days ago
published a
model 4 days ago
updated a
collection 4 days ago
published a
dataset 4 days ago
updated a
dataset 6 days ago
updated a
collection 6 days ago
published a
Space 6 days ago
[bot] Conversion to Parquet
#1 opened 6 days ago
by 
parquet-converter
Update markdown/mit.md
#127 opened 6 days ago
by Sagicc
updated a
collection 6 days ago
published a
model 6 days ago
updated a
collection 6 days ago
published a
dataset 6 days ago
Adding `safetensors` variant of this model
#1 opened 11 days ago
by 
SFconvertbot
updated a
collection 5 months ago
updated a
dataset 5 months ago