Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Machine learning for theorem proving in Lean
Job Petrovčič, Ljupčo Todorovski, David E. Narváez
Magistrsko delo
Oznake: formal theorem proving;Lean 4;reinforcement learning;graph neural networks;premise selection;formal mathematical libraries;
This thesis develops machine learning methods to address bottlenecks in automated theorem proving within the Lean 4 proof assistant, investigating two levels of abstraction: foundational kernel expressions and high-level proof states and tactics. These approaches are first contextualized by an expos ...
Leto: 2026 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Identifying dependencies in mathematical data via predictive importance
Matej Novoselec, Ljupčo Todorovski, David E. Narváez
Magistrsko delo
Oznake: AI for mathematics;machine learning;predictive importance;dependency detection;online encyclopedia of integer sequences;OEIS;cubic vertex-transitive graphs;CVTG;
We consider the problem of identifying subsets of variables that are likely to participate in an underlying (possibly unknown) relationship within a mathematical database. By treating each variable as a target, the proposed approach aggregates various predictive importance measures from a diverse se ...
Leto: 2026 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: