Sorin Lerner
3 papers · 2010–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Full π Interdisciplinary Bridge Β· Bronze π Conference Polyglot Β· Bronze πΊοΈ Taxonomy Completionist (13)
π§
Keyword Pioneer
π
Trend Setter
Venues
Top co-authors
Research topics
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
NeurIPS 2010