Sorin Lerner
3 papers · 2010–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ 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)
Papers
Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora
IJCAI 2025
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
ACL 2024
Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development
NIPS 2010