Login / Signup

Realizability in Semantics-Guided Synthesis Done Eagerly.

Roland MeyerJakob TepeSebastian Wolff
Published in: CoRR (2024)
Keyphrases
  • formal semantics
  • logic programming
  • transformation rules
  • semantic information
  • program synthesis
  • data sets
  • artificial intelligence
  • knowledge base
  • search algorithm
  • control system