Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
10 links
Stefan Zetzsche
Researcher
PaperTeaching LLMs Program Semantics via Symbolic Execution TracesAuthorship / preprint / 2026Remi DelmasCo-authorship / ResearcherMichael TautschnigCo-authorship / ResearcherSoonho KongCo-authorship / ResearcherJonas BayerCo-authorship / ResearcherOlivier BouissouCo-authorship / ResearcherTopicSoftware EngineeringWorks on / 3620 worksTopicMachine LearningWorks on / 49008 works