Guilherme V. Toledo

Identifiers

• name variant Guilherme V. Toledo 0.60 · backfill

Papers (1)

1. Bringing closure to theory combination properties cs.LO · 2026 · author #1

Mentions

• 2605.30762 #1 · arxiv_oai · confidence 0.70 Guilherme V. Toledo

Frequent Coauthors

• Benjamin Przybocki 1 shared papers
• Yoni Zohar 1 shared papers