• Bio
  • Papers
  • Talks
  • News
  • Experience
  • Projects
  • Teaching
  • Recent & Upcoming Talks
    • Reading Between the Tokens: Uncovering the Semantic Minima of AI Monologues
    • Large Language Models: Potenzialità, Limiti e Sistemi Multi-Agent
    • Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
  • Projects
    • Distilling Formal Logic into Neural Spaces
    • STLDec: Decoding Temporal Logic Embeddings via Transformers
    • OverRef: Studying Over-Refusal in Large Language Models
  • Publications
    • Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
    • A Dialectic Pipeline for Improving LLM Robustness
    • Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
  • Teaching
    • Probabilistic Machine Learning
  • Projects
  • Experience
  • Blog

Distilling Formal Logic into Neural Spaces

Mar 5, 2026 · 1 min read
Go to Project Site HuggingFace

Continuous neural representations of STL specifications via kernel distillation. Accepted at NeSy 2026.

Last updated on Mar 5, 2026
Neuro-Symbolic AI Signal Temporal Logic Transformers Kernel Methods
Sara Candussio
Authors
Sara Candussio
PhD student
STLDec: Decoding Temporal Logic Embeddings via Transformers Jul 10, 2025 →

© 2026 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.