pith. sign in

M\'arton Hajdu

Identifiers

  • name variant M\'arton Hajdu 0.60 · backfill

Papers (1)

  1. Completeness of Synthesis under Realizability Assumptions using Superposition cs.LO · 2026 · author #1

Mentions

  • 2605.19683 #1 · arxiv_oai · confidence 0.70 M\'arton Hajdu

Frequent Coauthors