Jayson Lynch
Massachusetts Institute of Technology(US)
Publications by Year
Research Areas
Artificial Intelligence in Games, Computational Geometry and Mesh Generation, Algorithms and Data Compression, Digital Games and Media, Computability, Logic, AI Algorithms
Most-Cited Works
- → A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level(2022)181 cited
- → Energy-Efficient Algorithms(2016)33 cited
- → Who Needs Crossings? Hardness of Plane Graph Rigidity(2016)23 cited
- → Computational Complexity of Motion Planning of a Robot through Simple Gadgets(2018)12 cited
- → Cache-Adaptive Analysis(2016)11 cited
- → Mario Kart Is Hard(2016)10 cited
- → Tatamibari Is NP-Complete(2020)9 cited
- → Finding a Hamiltonian Path in a Cube with Specified Turns is Hard(2013)8 cited
- → The Computational Complexity of Portal and Other 3D Video Games(2016)6 cited
- → Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible(2018)5 cited