◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Mark Niklas Müller

ETH Zurich

16 papers hereh-index 13708 citations25 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author13
  • last author1

Across the 16 of 16 papers where every author was matched, so the position is known.

fields
  • cs.LG9
  • cs.SE4
  • cs.CL2
  • cs.AI1
affiliations
  • ETH Zurich
Homepage

identity via Semantic Scholar / OpenAlex

activity
20212026
most citedPRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

74 citations · 132 across the 14 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.SE2026

TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from Specifications

Kazuki Egashira, Niels Mündler-Sasahara, Mark Niklas Müller +1

Coding agents are increasingly used to create large software projects. While code-generation benchmarks have scaled accordingly to full applications, test-generation benchmarks rem…

cs.SE2026

Coding Agents Don't Know When to Act

Thibaud Gloaguen, Niels Mündler, Mark Müller +2

Coding agents are increasingly deployed to autonomously maintain software, including to resolve user-reported issues: a bug report comes in and the agent creates a patch to address…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.