Philipp R\"ummer

Identifiers

• name variant Philipp R\"ummer 0.60 · backfill

Papers (3)

1. Synthesis and Verification of Transformer Programs (Technical Report) cs.LG · 2026 · author #3
2. Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations cs.FL · 2018 · author #4
3. Regular Symmetry Patterns (Technical Report) cs.LO · 2015 · author #3

Mentions

• 1510.08506 #3 · backfill · confidence 0.70 Philipp R\"ummer
• 2602.16473 #3 · arxiv_oai · confidence 0.70 Philipp R\"ummer

Frequent Coauthors

• Anthony W. Lin 2 shared papers
• Matthew Hague 2 shared papers
• Anthony Widjaja Lin 1 shared papers
• Hongjian Jiang 1 shared papers
• Jun Sun 1 shared papers
• Taolue Chen 1 shared papers
• Truong Khanh Nguyen 1 shared papers
• Zhilin Wu 1 shared papers