Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Sam Urmian
Observed name:
Urmian, Sam
Institution:
University of Bergen
Observed institution:
University of Bergen
OpenAlex ID:
A5132602479
TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
2026
·
Oliveria, Mateus de Oliveira
, Urmian, Sam
·
arXiv (Cornell University)
PDF
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
2026
·
Oliveira, Mateus de Oliveira
, Urmian, Sam
·
arXiv (Cornell University)
PDF
Machine Learning by Design
2026
·
Urmian, Sam
·
Zenodo (CERN European Organization for Nuclear Research)
Quality Degradation Attack in Synthetic Data
2026
·
Liu, Qinyi
, Liu, Dong
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
5
Citation count:
5
H-index:
1
I10-index:
Year
Topic
Type
