2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2024★ 1 cited
Quantifying Behavioral Dissimilarity Between Mathematical Expressions
Sebastian Mežnar, Sašo Džeroski, Ljupčo Todorovski
Quantifying the similarity between mathematical expressions is a fundamental problem in computational mathematics, symbolic reasoning, and scientific discovery. While behavioral no…
cs.LG2023★ 2 cited
MLFMF: Data Sets for Machine Learning for Mathematical Formalization
Andrej Bauer, Matej Petković, Ljupčo Todorovski
We introduce MLFMF, a collection of data sets for benchmarking recommendation systems used to support formalization of mathematics with proof assistants. These systems help humans…