Jane Lange

Arsen Vasilyan

Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023

2022

Polite Combination of Algebraic Datatypes.

[BibT_eX]

[DOI]

Ying Sheng

Yoni Zohar

Christophe Ringeissen

Pascal Fontaine

Clark W. Barrett

J. Autom. Reason., 2022

Properly Learning Decision Trees in almost Polynomial Time.

[BibT_eX]

[DOI]

J. ACM, 2022

Open Problem: Properly learning decision trees in polynomial time?

[BibT_eX]

[DOI]

CoRR, 2022

Properly learning monotone functions via local reconstruction.

[BibT_eX]

[DOI]

Ronitt Rubinfeld

Arsen Vasilyan

CoRR, 2022

The query complexity of certification.

[BibT_eX]

[DOI]

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Properly learning decision trees in almost polynomial time.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

Popular decision tree algorithms are provably noise tolerant.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

A query-optimal algorithm for finding counterfactuals.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2022

Reconstructing Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Properly learning monotone functions via local correction.

[BibT_eX]

[DOI]

Ronitt Rubinfeld

Arsen Vasilyan

Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

On the power of adaptivity in statistical adversaries.

[BibT_eX]

[DOI]

Proceedings of the Conference on Learning Theory, 2-5 July 2022, London, UK., 2022

2021

Query strategies for priced information, revisited.

[BibT_eX]

[DOI]

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

Provably efficient, succinct, and precise explanations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Politeness for the Theory of Algebraic Datatypes (Extended Abstract).

[BibT_eX]

[DOI]

Ying Sheng

Yoni Zohar

Christophe Ringeissen

Pascal Fontaine

Clark W. Barrett

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Learning Stochastic Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Decision Tree Heuristics Can Fail, Even in the Smoothed Setting.

[BibT_eX]

[DOI]

Proceedings of the Approximation, 2021

2020

Testing and reconstruction via decision trees.

[BibT_eX]

[DOI]

CoRR, 2020

Universal guarantees for decision tree induction via a higher-order splitting criterion.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Estimating decision tree learnability with polylogarithmic sample complexity.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Provable guarantees for decision tree induction: the agnostic setting.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Politeness for the Theory of Algebraic Datatypes.

[BibT_eX]

[DOI]

Ying Sheng

Yoni Zohar

Christophe Ringeissen

Pascal Fontaine

Clark W. Barrett

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Top-down induction of decision trees: rigorous guarantees and inherent limitations.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2019

Constructive derandomization of query algorithms.

[BibT_eX]

[DOI]