← Authors

Anastasia Isychev

1 papers · 2025–2025 · 1 conference · across top CS/AI conferences

Achievements

๐ŸŒ‰ Interdisciplinary Bridge ๐Ÿงญ Keyword Pioneer ๐Ÿ Cross-Pollinator (9)

Conferences

IJCAI (1)

Top co-authors

Valentin Wรผstholz (1) Maria Christakis (1)

Keywords

bug detection (1) property testing (1) model testing (1) redundant computation (1) lazy evaluation (1)

Papers

Lazy Testing of Machine-Learning Models IJCAI 2025