Ivan Belashkin

Karma: 8

QA Engineer from Moscow.

LLM, discrete math, formal requirements

AESC MSU, CMC MSU.

Our experience of the first research in a project incubator: much more than you wanted to know

Ivan Belashkin and Iosif Polozov

11 May 2026 20:28 UTC

7 points

0 comments10 min readLW link

Ivan Belashkin’s Shortform

Ivan Belashkin9 Apr 2025 21:39 UTC

1 point

1 comment1 min readLW link