Tomer Hakak

Identifiers

• name variant Tomer Hakak 0.60 · backfill

Papers (1)

1. Automated Reasoning with Nested Datatypes cs.LO · 2026 · author #1

Mentions

• 2606.30888 #1 · arxiv_oai · confidence 0.70 Tomer Hakak

Frequent Coauthors

• Andrew Reynolds 1 shared papers
• Cesare Tinelli 1 shared papers
• Clark Barrett 1 shared papers
• Yoni Zohar 1 shared papers