Lawrence C. Paulson
2 papers · 2020–2021 · 2 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
🌉
Interdisciplinary Bridge · Silver
🐣
Hot Topic Early Bird
📈
Trend Setter
Top co-authors
Research topics
Keywords
hyperparameter optimization
(1)
mathematical reasoning
(1)
theorem proving
(1)
bayesian optimization
(1)
benchmark dataset
(1)
automated theorem proving
(1)
theorem prover
(1)
premise selection
(1)
sequence-to-sequence model
(1)
hierarchical transformer
(1)
bayesian optimisation
(1)
heuristic optimization
(1)