// about
Hey, I’m Gergely Várhelyi-Tóth a researcher working mostly in ML/AI.
My focus areas include formal verification of ML models, neo-architectures like entropy-based models, and the mathematics that ties it all together. So hyper-graphs and finite systems.
I’ve worn different hats over the years — CEO, CTO, researcher. These days I’m deep in the research side of things.
I spent a joyful decade at Budapest University of Technology and Economics (which I retrospectively love and being proud of). I bloomed my ML focus at NNG (automotive navigation stuff) and funded my own startup called roboGaze (driver monitoring stuff). During the 5 years I spent there, the robustness of ML models became a key factor and currently I’m focusing on this under various research groups. In the meanwhile im trying to make some reasonable impact regarding AGI especially with new(ish) approaches like energy or enthropy based systems. All of this mostly brings me back to Than… I mean linear-algebra. Because everything is linear algebra, if you are brave enough.