Jakob Tepe

Orcid: 0009-0002-8177-4675

According to our database¹, Jakob Tepe authored at least 2 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Oriented Metrics for Bottom-Up Enumerative Synthesis.

[DOI]

Proc. ACM Program. Lang., 2026

2024

Realizability in Semantics-Guided Synthesis Done Eagerly.

[DOI]

CoRR, 2024