Jayson Lynch

A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level

Iddo Drori, Sarah Zhang, Reece Shuttleworth et al. · Proceedings of the National Academy of Sciences · 2022 · 176 citations · Full text

Artificial Intelligence, Llm Fine-tuning, Engineering +25

Energy-Efficient Algorithms

Erik D. Demaine, Jayson Lynch, Geronimo J. Mirano et al. · 2016 · 33 citations

Computational Science, Computational Complexity Theory, Engineering +14

Who Needs Crossings? Hardness of Plane Graph Rigidity

Zachary Abel, Erik D. Demaine, Martin L. Demaine et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 23 citations · Full text

Computational Complexity of Motion Planning of a Robot through Simple Gadgets

Erik D. Demaine, Isaac Grosof, Jayson Lynch et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 12 citations · Full text

Robot Kinematics, Engineering, Reachability Problem +26

Cache-Adaptive Analysis

Michael A. Bender, Erik D. Demaine, Roozbeh Ebrahimi et al. · 2016 · 11 citations

Cluster Computing, Massively-parallel Computing, Engineering +14