Learning to Automatically Solve Algebra Word Problems

by Kushman, Nate, Artzi, Yoav, Zettlemoyer, Luke, Barzilay, Regina
Published 2015

An efficient evolutionary algorithm for solving incrementally structured problems

by Ansel, Jason Andrew, Pacula, Maciej, Amarasinghe, Saman P., O'Reilly, Una-May
Published 2012

A constraint-based method for solving sequential manipulation planning problems

by Lozano-Perez, Tomas, Kaelbling, Leslie P.
Published 2016

Toward facilitating assistance to students attempting engineering design problems

by Glassman, Elena L, Miller, Robert C.
Published 2019

Solving the Rubik's Cube optimally is NP-complete

by Demaine, Erik D, Eisenstat, Sarah Charmian, Rudoy, Mikhail
Published 2019

The fewest clues problem

by Demaine, Erik D, Ma, Fermi, Schvartzman, Ariel, Waingarten, Erik, Aaronson, Scott
Published 2020

The fewest clues problem

by Fermi, Ma, Schvartzman, Ariel, Waingarten, Erik, Demaine, Erik D, Aaronson, Scott
Published 2017

AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs

by Chowdhury, Rezaul, Ganapathi, Pramod, Tithi, Jesmin Jahan, Tang, Yuan, Bachmeier, Charles A., Kuszmaul, Bradley C, Leiserson, Charles E, Solar Lezama, Armando
Published 2018

The aperture problem for refractive motion

by Xue, Tianfan, Mobahi, Hossein, Durand, Frederic, Freeman, William T.
Published 2018

Online Replanning in Belief Space for Partially Observable Task and Motion Problems

by Garrett, Caelan Reed, Paxton, Chris, Lozano-Perez, Tomas, Kaelbling, Leslie Pack, Fox, Dieter
Published 2021

Adversarial Actor-Critic Method for Task and Motion Planning Problems Using Planning Experience

by Kim, Beomjoon, Kaelbling, Leslie P, Lozano-Pérez, Tomás
Published 2021

Modeling radio networks

by Newport, Calvin Charles, Lynch, Nancy Ann
Published 2019

Modeling radio networks

by Newport, Calvin Charles, Lynch, Nancy Ann
Published 2012

Non-Gaussian belief space planning: Correctness and complexity

by Platt, Robert, Kaelbling, Leslie P, Lozano-Perez, Tomas, Tedrake, Russell L
Published 2021

On Cartesian trees and range minimum queries

by Demaine, Erik D., Landau, Gad M., Weimann, Oren
Published 2011

A genetic algorithm to minimize chromatic entropy

by Durrett, Greg, Medard, Muriel, O'Reilly, Una-May
Published 2012

A numerical algebraic geometry approach to regional stability analysis of polynomial systems

by Wampler, Charles, Permenter, Frank Noble, Tedrake, Russell Louis
Published 2014

Syntax-guided synthesis

by Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Torlak, Emina, Udupa, Abhishek, Solar-Lezama, Armando
Published 2014

Fun with Fonts: Algorithmic Typography

by Demaine, Erik D., Demaine, Martin L.
Published 2015

Multiple Relative Pose Graphs for Robust Cooperative Mapping

by Kim, Been, Kaess, Michael, Fletcher, Luke Sebastian, Leonard, John Joseph, Bachrach, Abraham Galton, Roy, Nicholas, Teller, Seth
Published 2012