$Imagen de Portada$

Executable Functional Abstractions: Inferring Generative Programs for Advanced Math Problems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Khan, Zaid, Stengel-Eskin, Elias, Prasad, Archiki, Cho, Jaemin, Bansal, Mohit
Formato:	Preprint
Publicado:	2025
Materias:	Computation and Language Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

One Life to Learn: Inferring Symbolic World Models for Stochastic Environments from Unguided Exploration
por: Khan, Zaid, et al.
Publicado: (2025)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
por: Stengel-Eskin, Elias, et al.
Publicado: (2024)

DataEnvGym: Data Generation Agents in Teacher Environments with Student Feedback
por: Khan, Zaid, et al.
Publicado: (2024)

Rephrase, Augment, Reason: Visual Grounding of Questions for Vision-Language Models
por: Prasad, Archiki, et al.
Publicado: (2023)

Learning to Generate Unit Tests for Automated Debugging
por: Prasad, Archiki, et al.
Publicado: (2025)

Soft Self-Consistency Improves Language Model Agents
por: Wang, Han, et al.
Publicado: (2024)

Multi-Attribute Steering of Language Models via Targeted Intervention
por: Nguyen, Duy, et al.
Publicado: (2025)

Cog-DRIFT: Exploration on Adaptively Reformulated Instances Enables Learning from Hard Reasoning Problems
por: Chen, Justin Chih-Yao, et al.
Publicado: (2026)

PRInTS: Reward Modeling for Long-Horizon Information Seeking
por: Lee, Jaewoo, et al.
Publicado: (2025)

Retrieval-Augmented Generation with Conflicting Evidence
por: Wang, Han, et al.
Publicado: (2025)

Contrastive Region Guidance: Improving Grounding in Vision-Language Models without Training
por: Wan, David, et al.
Publicado: (2024)

GPU Forecasters: Language Models as Selective Surrogates for Kernel Runtime Optimization
por: Khan, Zaid, et al.
Publicado: (2026)

Think Right: Learning to Mitigate Under-Over Thinking via Adaptive, Attentive Compression
por: Singh, Joykirat, et al.
Publicado: (2025)

System-1.x: Learning to Balance Fast and Slow Planning with Language Models
por: Saha, Swarnadeep, et al.
Publicado: (2024)

LASeR: Learning to Adaptively Select Reward Models with Multi-Armed Bandits
por: Nguyen, Duy, et al.
Publicado: (2024)

AVSD: Adaptive-View Self-Distillation by Balancing Consensus and Teacher-Specific Privileged Signals
por: Nguyen, Duy, et al.
Publicado: (2026)

UPCORE: Utility-Preserving Coreset Selection for Balanced Unlearning
por: Patil, Vaidehi, et al.
Publicado: (2025)

Playing Along: Learning a Double-Agent Defender for Belief Steering via Theory of Mind
por: Xiao, Hanqi, et al.
Publicado: (2026)

GrAInS: Gradient-based Attribution for Inference-Time Steering of LLMs and VLMs
por: Nguyen, Duy, et al.
Publicado: (2025)

Skill-Based Mixture-of-Experts: Adaptive Routing for Heterogeneous Reasoning via Inferred Skills
por: Chen, Justin Chih-Yao, et al.
Publicado: (2025)

GenerationPrograms: Fine-grained Attribution with Executable Programs
por: Wan, David, et al.
Publicado: (2025)

Task-Circuit Quantization: Leveraging Knowledge Localization and Interpretability for Compression
por: Xiao, Hanqi, et al.
Publicado: (2025)

CAPTURe: Evaluating Spatial Reasoning in Vision Language Models via Occluded Object Counting
por: Pothiraj, Atin, et al.
Publicado: (2025)

RotBench: Evaluating Multimodal Large Language Models on Identifying Image Rotation
por: Niu, Tianyi, et al.
Publicado: (2025)

Conflict-Resolving and Sharpness-Aware Minimization for Generalized Knowledge Editing with Multiple Updates
por: Nguyen, Duy, et al.
Publicado: (2026)

Agent-BRACE: Decoupling Beliefs from Actions in Long-Horizon Tasks via Verbalized State Uncertainty
por: Singh, Joykirat, et al.
Publicado: (2026)

Effective Reasoning Chains Reduce Intrinsic Dimensionality
por: Prasad, Archiki, et al.
Publicado: (2026)

LACIE: Listener-Aware Finetuning for Confidence Calibration in Large Language Models
por: Stengel-Eskin, Elias, et al.
Publicado: (2024)

Teaching Models to Balance Resisting and Accepting Persuasion
por: Stengel-Eskin, Elias, et al.
Publicado: (2024)

Language Models Identify Ambiguities and Exploit Loopholes
por: Choi, Jio, et al.
Publicado: (2025)

AdaCAD: Adaptively Decoding to Balance Conflicts between Contextual and Parametric Knowledge
por: Wang, Han, et al.
Publicado: (2024)

The Sum Leaks More Than Its Parts: Compositional Privacy Risks and Mitigations in Multi-Agent Collaboration
por: Patil, Vaidehi, et al.
Publicado: (2025)

EnvGen: Generating and Adapting Environments via LLMs for Training Embodied Agents
por: Zala, Abhay, et al.
Publicado: (2024)

Fundamental Problems With Model Editing: How Should Rational Belief Revision Work in LLMs?
por: Hase, Peter, et al.
Publicado: (2024)

DiagrammerGPT: Generating Open-Domain, Open-Platform Diagrams via LLM Planning
por: Zala, Abhay, et al.
Publicado: (2023)

VideoDirectorGPT: Consistent Multi-scene Video Generation via LLM-Guided Planning
por: Lin, Han, et al.
Publicado: (2023)

Are language models rational? The case of coherence norms and belief revision
por: Hofweber, Thomas, et al.
Publicado: (2024)

ADaPT: As-Needed Decomposition and Planning with Language Models
por: Prasad, Archiki, et al.
Publicado: (2023)

GTBench: Uncovering the Strategic Reasoning Limitations of LLMs via Game-Theoretic Evaluations
por: Duan, Jinhao, et al.
Publicado: (2024)

Routing with Generated Data: Annotation-Free LLM Skill Estimation and Expert Selection
por: Niu, Tianyi, et al.
Publicado: (2026)