External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying Tree Ensembles by Reasoning about Potential Instances

Laurens Devos, Wannes Meert, Jesse Davis. Verifying Tree Ensembles by Reasoning about Potential Instances. In Carlotta Demeniconi, Ian Davidson, editors, Proceedings of the 2021 SIAM International Conference on Data Mining, SDM 2021, Virtual Event, April 29 - May 1, 2021. pages 450-458, SIAM, 2021. [doi]

Authors

Laurens Devos

This author has not been identified. Look up 'Laurens Devos' in Google

Wannes Meert

This author has not been identified. Look up 'Wannes Meert' in Google

Jesse Davis

This author has not been identified. Look up 'Jesse Davis' in Google
runs on