Maximilian Baader

Identifiers

• name variant Maximilian Baader 0.60 · backfill

Papers (1)

1. AutoBaxBuilder: Bootstrapping Code Security Benchmarking cs.CR · 2025 · author #4

Mentions

• 2512.21132 #4 · arxiv_oai · confidence 0.70 Maximilian Baader

Frequent Coauthors

• Mark Vero 1 shared papers
• Martin Vechev 1 shared papers
• Niels M\"undler 1 shared papers
• Tobias von Arx 1 shared papers