35 citations · 99 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025
Combining Textual and Structural Information for Premise Selection in Lean
Job Petrovčič, David Eliecer Narvaez Denis, Ljupčo Todorovski
Premise selection is a key bottleneck for scaling theorem proving in large formal libraries. Yet existing language-based methods often treat premises in isolation, ignoring the web…
physics.ao-ph2025★ 1 cited
Approximating the universal thermal climate index using sparse regression with orthogonal polynomials
Sabin Roman, Ljupco Todorovski, Saso Dzeroski +1
The Universal Thermal Climate Index (UTCI) is a measure of thermal comfort that quantifies how humans experience environmental conditions. Due to its robustness and versatility as…