Cruciverb-IT

AI & ML interests

First Shared Task on Italian Crossword Puzzle Solving @ EVALITA 2026

Recent Activity

gsarti  authored a paper about 3 hours ago

Beyond the Commitment Boundary: Probing Epiphenomenal Chain-of-Thought in Large Reasoning Models

gsarti  authored a paper about 3 hours ago

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic

gsarti  authored a paper about 3 hours ago

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

View all activity

Team members 5