Tags

functional programs
lemma finding
Papers
program equivalence
synthesis
verification
compliance reasoning
language design
large language models
multimodal learning