Prof. Martin Vechev — Research Profile
ETH Zurich · Department of Computer Science
About
취리히 연방공과대학교 컴퓨터과학과 소속 Martin Vechev 교수의 등록된 연구 분야는 automated reasoning, machine learning, safe artificial intelligence, security입니다.
Research keywords
Recent papers
- TestSuiteBench: Coding Agents Struggle to Generate Strong Test Suites from SpecificationsPreprintarXiv (Cornell University) · Oct 9
- AutoMark: Enabling Autoresearch to Discover Better LLM WatermarksPreprintarXiv (Cornell University) · Sep 29
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Martin Odersky 교수 연구실
EPFL · School of Computer and Communication Sciences
First-Class Refinement Types for ScalaProceedings of the ACM on Programming Languages · Oct 1Shared topic: Software Testing and Debugging Techniques
Zhendong Su 교수 연구실
ETH Zurich · Department of Computer Science
From Natural Language to Executable Properties for Property-Based Testing of Mobile Apps (Experience Paper)Proceedings of the ACM on software engineering. · Oct 1Shared topic: Software Testing and Debugging Techniques
Pascal Frossard 교수 연구실
EPFL · School of Computer and Communication Sciences
Frame the adversary: a structure-aware attack methodologyPreprintarXiv (Cornell University) · Sep 25Shared topic: Adversarial Robustness in Machine Learning
Other labs in this department
- Adrian Perrig 교수 연구실
system and network security, networks, internet architecture
- Ana Klimovic 교수 연구실
cloud computing, operating systems, distributed systems, storage systems, computer architecture
- Andreas Krause 교수 연구실
machine learning, artificial intelligence, reinforcement learning, probabilistic inference
- Angelika Steger 교수 연구실
algorithms, combinatorics, randomization and probabilistic methods, combinatorial models for optimization
- April Yi Wang 교수 연구실
educational technology, human-computer interaction, artificial intelligence in education, collective intelligence and organizational technology, end-user programming, user interface for programming
- Bernhard Schölkopf 교수 연구실
machine learning, causal inference, applications in the sciences