Sorin Lerner
3 papers
· 2010–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(15)
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(13)
π
Trend Setter
Conferences
ACL (1)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
combinatorial optimization
(1)
bayesian inference
(1)
simulated annealing
(1)
exponential family
(1)
exponential family pca
(1)
matrix completion
(1)
bayesian approaches
(1)
software dependencies
(1)
software engineering
(1)
binary matrix completion
(1)
hierarchical structure
(1)
latent variable model
(1)
restricted boltzmann machine
(1)
proof search
(1)
automated theorem proving
(1)
software development
(1)
satisfiability modulo theory
(1)
music analysis
(1)
structural distance
(1)
large language model
(1)