David Broman
3 papers · 2018–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
๐ 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)