Alessio Bruno

Identifiers

• name variant Alessio Bruno 0.60 · backfill

Papers (1)

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