1 citations · 1 across the 3 of their papers we have counts for
3 papers
U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in LLMs
Konstantin Chernyshev, Vitaliy Polshkov, Ekaterina Artemova +4
The current evaluation of mathematical skills in LLMs is limited, as existing benchmarks are either relatively small, primarily focus on elementary and high-school problems, or lac…
On elementary equivalence of rings with a finitely generated additive group
Alexei Miasnikov, Mahmood Sohrabi
In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings…
Isomorphism problem for finitely generated fully residually free groups
Inna Bumagin, Olga Kharlampovich, Alexei Miasnikov
We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has…