Research author

Bernd Finkbeiner

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Bernd Finkbeiner

May 14, 2026
cs.LG

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models

Frederik Schmitt, Matthias Cosler, Niklas Metzger, et al.

Bernd Finkbeiner — AI Research Papers | One9Founders