Scholar
Zsolt Zombori
Google Scholar ID: jiHbN-MAAAAJ
Researcher, Alfréd Rényi Institute of Mathematics
Machine Learning
Automated Theorem Proving
Neurosymbolic Reasoning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
181
H-index
5
i10-index
5
Publications
20
Co-authors
0
Publications
4 items
Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
2025
Cited
0
Partial Label Learning for Automated Theorem Proving
2025
Cited
0
Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
2025
Cited
0
Do Attention Heads Compete or Cooperate during Counting?
2025
Cited
0
