Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code by Eric J. Michaud, Isaac Liao, Vedang Lad, Ziming Liu, Anish Mudide, Chloe Loughridge, Zifan Carl Guo, Tara Rezaei Kheirkhah, Mateja Vukelić, Max Tegmark

Subjects: Get full text

Verication and synthesis of addition programs under the rules of statement correctness by V. I. Shelekhov

Subjects: Get full text

Review and Mapping of Search-Based Approaches for Program Synthesis by Takfarinas Saber, Ning Tao

Subjects: “…program synthesis…”
Get full text

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning by Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

Subjects: Get full text

VISION: a modular AI assistant for natural human-instrument interaction at scientific user facilities by Shray Mathur, Noah van der Vleuten, Kevin G Yager, Esther H R Tsai

Subjects: Get full text

On the Challenges of Quantum Circuit Encoding Using Deep and Reinforcement Learning by Patrick Selig, Niall Murphy, David Redmond, Simon Caton

Subjects: Get full text