This view shows the strongest nearby entities first so the page stays fast. Search, recommendations and entity pages still use the full indexed catalog behind the scenes.

9 visible nodes36 visible linksLimit 36 nodesFocus: Matthias Cosler

Current map

Open discovery slice

topic1

work1

author7

Use search, collections or node navigation to narrow the map.

Strongest nodes

6 high-signal entities

authorSignal 10

Matthias Cosler

Researcher

workSignal 9

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models

preprint / 2026

authorSignal 8

Bernd Finkbeiner

Researcher

authorSignal 7

Frederik Schmitt

Researcher

authorSignal 6

Niklas Metzger

Researcher

authorSignal 5

Julian Siber

Researcher

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached to this map.

Sign in

Public snapshots

1 shared view(s)

research mappublic

Trust Signal Map

Public graph snapshot linking moderation, structured review and trust-aware ranking.

Research CollaborationTrust Calibration Reading List

by BZPEER

BZPEERResearch workspace

Discover

Graph

Workspaces

Home Inbox Collections Research Collaboration Publish

Network

Experts Communities Partners

Opportunities

Listings