Philipp Schröer

Affiliation:

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Emma Ahrens (1)Samuel Rode (1)J. Katoen (1)Joost-Pieter Katoen (1)

Papers (1)

Aug 19, 2026

Affiliation:1w ago

Towards a Deductive Verification Infrastructure for Weighted Programming

A novel deductive verification framework for weighted programming reveals how to express and automate verification conditions for complex quantitative models.

Emma Ahrens, Samuel Rode, Philipp Schröer +2

Code Generation & Program Synthesis Reasoning & Chain-of-Thought

Search

Philipp Schröer

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)