Alessio Bruno
Identifiers
- name variant Alessio Bruno 0.60 · backfill
Papers (1)
- AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning cs.AI · 2026 · author #1
Mentions
- 2606.00671 #1 · arxiv_oai · confidence 0.70 Alessio Bruno