David Broman
3 papers
· 2018–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(6)
π
Cross-Pollinator
(14)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(15)
Conferences
AISTATS (1)
EMNLP (1)
NIPS (1)
Top co-authors
Keywords
language model
(2)
theorem proving
(1)
self-supervised learning
(1)
instruction tuning
(1)
sequential monte carlo
(1)
conjugate prior
(1)
probabilistic programming
(1)
intrinsic motivation
(1)
formal mathematics
(1)
proof search
(1)
prompt optimization
(1)
few-shot demonstration
(1)
monte carlo estimator
(1)
language model program
(1)
multi-stage pipeline
(1)
conjecture generation
(1)
reinforcement learning
(1)
multi-stage program
(1)