National Deep Inference Fabric

AI & ML interests

None defined yet.

Recent Activity

gsarti  authored a paper 2 days ago

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

gsarti  authored a paper 2 days ago

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

gsarti  authored a paper 2 days ago

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers

View all activity

Team members 11