Skip to content

Tim Woydt

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2026–2026

Best venue rank

A*

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2026ACLSLR: Automated Synthesis for Scalable Logical Reasoning.Lukas Helff, Ahmad Omar, Felix Friedrich, Antonia Wst, Hikaru Shindo, Rupert Mitchell, Tim Woydt, Patrick Schramowski, Wolfgang Stammer, Kristian Kersting