Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Nicholas, Benjamin P. Contributor Tadepalli, Prasad

Proceedings of the Workshop on Knowledge Compilation and Speedup Learning

Creator:

Workshop on Knowledge Compilation and Speedup Learning

Abstract:

This volume contains the papers accepted for the informal workshop on Knowledge Compilation and Speedup Learning held along with the Machine Learning Conference in Aberdeen Scotland. This workshop is a sequel to the first Knowledge Compilation workshop, which was organized by Jim Bennett, Tom Dieterich, and Jack Mostow in Otter...

Resource Type:

Conference Proceeding

Full Text:

-30-07 OREN ElZIONI, UNIV OF WA NICHOLAS FLANN, UTAH STATE ARMAND PRIEDITIS, UNIVERSITY OF CA
Adversarial Attacks in Natural Language Question-Answering

Creator:

Rahurkar, Prachi S.

Abstract:

Question Answering in natural language processing has achieved significant progress in recent years. Yet, training and testing set methodology to evaluate the language models has proved inadequate. Adversarial examples aid us in finding loopholes inside these models and provide insights into their inner workings. In this work, an evaluation based...

Resource Type:

Masters Thesis

Full Text:

Processing, pages 2383–2392, 2016. [21] Benjamin Recht, Rebecca Roelofs, Ludwig Schmidt, and Vaishaal
Variational Satisfiability Solving

Creator:

Young, Jeffrey M.

Abstract:

Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....

Resource Type:

Dissertation

Full Text:

to speedup only for v→v, where % SpeedUp = Algorithm v→p