• Bio
  • Papers
  • Talks
  • News
  • Experience
  • Projects
  • Teaching
  • Projects
    • Agentic reasoning benchmarks, by tier
    • Distilling Formal Logic into Neural Spaces
    • STLDec: Decoding Temporal Logic Embeddings via Transformers
    • OverRef: Studying Over-Refusal in Large Language Models
  • Publications
    • Demystifying Entropy-based Selection for Chain-of-Thought Compression in Large Reasoning Models
    • Beyond the Commitment Boundary: Probing Epiphenomenal Chain-of-Thought in Large Reasoning Models
    • RogueAI: A Reverse Turing Test for Detecting Licensed AI Deception in Dialogue
    • 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
  • News
    • 🎉 RogueAI accepted at CLiC-it 2026 (Poster)
    • 🎤 LM Taboo accepted at CLiC-it 2026 (Oral)
    • 🧩 Participating in the NDIF Aletheia's Quest Competition
    • 🎤 Paper accepted at NeSy 2026 (Oral)
    • 🗣️ Invited talk at the CLCG Linguistics Lunch
    • Visiting researcher period at CLCG, University of Groningen concluded
  • 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
  • Teaching
    • Probabilistic Machine Learning
  • Projects
  • Experience
  • Blog

Agentic reasoning benchmarks, by tier

Oct 21, 2026 · 0 min read
Go to Project Site
Last updated on Oct 21, 2026
AI
Sara Candussio
Authors
Sara Candussio
PhD Student (2nd year)
Distilling Formal Logic into Neural Spaces Mar 5, 2026 →

© 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.