paper-with-me

Papers

Learning to Reason via Program Generation, Emulation, and Search

2024-05-25 · Nathaniel Weir, Muhammad Khalifa, Linlu Qiu, Orion Weller, Peter Clark

Program synthesis with language models (LMs) has unlocked a large set of reasoning abilities; code-tuned LMs have proven adept at generating programs that solve a wide variety of algorithmic symbolic manipulation tasks (e.g. word concatenation). However, not all reasoning tasks are easily expressible as code, e.g. tasks involving commonsense reasoning, moral decision-making, and sarcasm understanding. Our goal is to extend an LM's program synthesis skills to such tasks and evaluate the results via pseudo-programs, namely Python programs where some leaf function calls are left undefined. To that end, we propose, Code Generation and Emulated EXecution (CoGEX). CoGEX works by (1) training LMs to generate pseudo-programs, (2) teaching them to emulate their generated program's execution, including those leaf functions, allowing the LM's knowledge to fill in the execution gaps; and (3) using them to search over many programs to find an optimal one. To adapt the CoGEX model to a new task, we introduce a method for performing program search to find a single program whose pseudo-execution yields optimal performance when applied to all the instances of a given dataset. We show that our approach yields large improvements compared to standard in-context learning approaches on a battery of tasks, both algorithmic and soft reasoning. This result thus demonstrates that code synthesis can be applied to a much broader class of problems than previously considered. Our released dataset, fine-tuned models, and implementation can be found at \url{https://github.com/nweir127/CoGEX}.

📄 PDF Abstract BibTeX arXiv:2405.16337

Code (1)

nweir127/cogex 공식 구현

Tasks

Code GenerationIn-Context LearningProgram Synthesis

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically
+ ( 1 ) ⟷ 888 ⟷ ( 829 ) ⟷ 0881||How do I resolve a dispute on Expedia? How do I resolve a dispute on Expedia contact their support at + ( 1 ) ⟷ 888 ⟷ ( 829 ) ⟷ 0881 or + ( 1 ) ⟷ 805 ⟷ ( 330 ) ⟷ 4056. Provide booking details and explain the issue…

Similar Papers 제목 키워드 기반

Emulation Learning for Neuromimetic Systems

2023-05-04 · Zexin Sun, John Baillieul

Building on our recent research on neural heuristic quantization systems, results on learning quantized motions and resilience to channel dropouts are reported. We propose a general emulation problem consistent with the …

Model Predictive ControlQuantizationTransfer Learning

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms

2025-08-25 · Anastasis Kratsios, Dennis Zvigelsky, Bradd Hart arxiv

A main open question in contemporary AI research is quantifying the forms of reasoning neural networks can perform when perfectly trained. This paper answers this by interpreting reasoning tasks as circuit emulation, whe…

Real-time Digital RF Emulation -- II: A Near Memory Custom Accelerator

2024-06-13 · Mandovi Mukherjee, Xiangyu Mao, Nael Rahman, Coleman DeLude 외

A near memory hardware accelerator, based on a novel direct path computational model, for real-time emulation of radio frequency systems is demonstrated. Our evaluation of hardware performance uses both application-speci…

Statistical Learning for End-to-End Simulations

2020-12-07 · J. Vicent, J. Verrelst, J. P. Rivera-Caicedo, N. Sabater 외

End-to-end mission performance simulators (E2ES) are suitable tools to accelerate satellite mission development from concet to deployment. One core element of these E2ES is the generation of synthetic scenes that are obs…

Earth Observation

Colosseum: Large-Scale Wireless Experimentation Through Hardware-in-the-Loop Network Emulation

2021-10-20 · Leonardo Bonati, Pedram Johari, Michele Polese, Salvatore D'Oro 외

Colosseum is an open-access and publicly-available large-scale wireless testbed for experimental research via virtualized and softwarized waveforms and protocol stacks on a fully programmable, "white-box" platform. Throu…