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
9 links
Jonas Bayer
Researcher
PaperTeaching LLMs Program Semantics via Symbolic Execution TracesAuthorship / preprint / 2026Stefan ZetzscheCo-authorship / ResearcherSoonho KongCo-authorship / ResearcherOlivier BouissouCo-authorship / ResearcherRemi DelmasCo-authorship / ResearcherMichael TautschnigCo-authorship / ResearcherTopicSoftware EngineeringWorks on / 3620 worksTopicMachine LearningWorks on / 49008 works