David Broman
3 papers · 2018–2024 · 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 ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(15)
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Artificial Intelligence
(3)
Machine Learning
(3)
Deep Learning
(2)
Core AI
(2)
Learning Types · Machine Learning
(2)
Optimization & Theory
(2)
Natural Language Processing
(1)
Reinforcement Learning
(1)
Bayesian & Probabilistic
(1)
Generation
(1)
Learning Paradigms
(1)
Learning Types · Deep Learning
(1)
Methods
(1)
Techniques
(1)
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)