5 citations · 7 across the 8 of their papers we have counts for
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
Partial Label Learning for Automated Theorem Proving
Zsolt Zombori, Balázs Indruck
We formulate learning guided Automated Theorem Proving as Partial Label Learning, building the first bridge across these fields of research and providing a theoretical framework fo…
cs.LO2025★ 1 cited
Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
Christoph Wernhard, Zsolt Zombori
Viewing formal mathematical proofs as logical terms provides a powerful and elegant basis for analyzing how human experts tend to structure proofs and how proofs can be structured…