Copertina

MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Anupam, Sagnik, Bowers, Maddy, Costilla-Reyes, Omar, Solar-Lezama, Armando
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Randomly Sampled Language Reasoning Problems Elucidate Limitations of In-Context Learning
di: Gupta, Kavi, et al.
Pubblicazione: (2025)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
di: Li, Zhening, et al.
Pubblicazione: (2025)

SPARLING: Learning Latent Representations with Extremely Sparse Activations
di: Gupta, Kavi, et al.
Pubblicazione: (2023)

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions
di: Li, Zhening, et al.
Pubblicazione: (2024)

LLM Program Optimization via Retrieval Augmented Search
di: Anupam, Sagnik, et al.
Pubblicazione: (2025)

Predicting Treatment Response in Body Dysmorphic Disorder with Interpretable Machine Learning
di: Costilla-Reyes, Omar, et al.
Pubblicazione: (2025)

MeMo: Meaningful, Modular Controllers via Noise Injection
di: Tjandrasuwita, Megan, et al.
Pubblicazione: (2024)

Library learning with e-graphs on jazz harmony
di: Ren, Zeng, et al.
Pubblicazione: (2026)

An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models
di: Sun, Mingzhong, et al.
Pubblicazione: (2026)

A Tale of Two Temperatures: Simple, Efficient, and Diverse Sampling from Diffusion Language Models
di: Olausson, Theo X., et al.
Pubblicazione: (2026)

RAPID: An Efficient Reinforcement Learning Algorithm for Small Language Models
di: Huang, Lianghuan, et al.
Pubblicazione: (2025)

A Concise Mathematical Description of Active Inference in Discrete Time
di: van Oostrum, Jesse, et al.
Pubblicazione: (2024)

Adaptive Problem Generation via Symbolic Representations
di: Yeo, Teresa, et al.
Pubblicazione: (2026)

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
di: Gu, Alex, et al.
Pubblicazione: (2024)

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
di: Gu, Alex, et al.
Pubblicazione: (2024)

MathMixup: Boosting LLM Mathematical Reasoning with Difficulty-Controllable Data Synthesis and Curriculum Learning
di: Li, Xuchen, et al.
Pubblicazione: (2026)

A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages
di: Joel, Sathvik, et al.
Pubblicazione: (2024)

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
di: Shao, Zhihong, et al.
Pubblicazione: (2024)

Conflict-Free Policy Languages for Probabilistic ML Predicates: A Framework and Case Study with the Semantic Router DSL
di: Liu, Xunzhuo, et al.
Pubblicazione: (2026)

TabularMath: Evaluating Computational Extrapolation in Tabular Learning via Program-Verified Synthesis
di: Cheng, Zerui, et al.
Pubblicazione: (2026)

Predictive Query Language: A Domain-Specific Language for Predictive Modeling on Relational Databases
di: Kocijan, Vid, et al.
Pubblicazione: (2026)

AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset
di: Moshkov, Ivan, et al.
Pubblicazione: (2025)

HorizonMath: Measuring AI Progress Toward Mathematical Discovery with Automatic Verification
di: Wang, Erik Y., et al.
Pubblicazione: (2026)

DAG-Math: Graph-of-Thought Guided Mathematical Reasoning in LLMs
di: Zhang, Yuanhe, et al.
Pubblicazione: (2025)

SPML: A DSL for Defending Language Models Against Prompt Attacks
di: Sharma, Reshabh K, et al.
Pubblicazione: (2024)

Symbolic Regression with a Learned Concept Library
di: Grayeli, Arya, et al.
Pubblicazione: (2024)

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
di: Jain, Naman, et al.
Pubblicazione: (2024)

WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communications
di: Li, Xin, et al.
Pubblicazione: (2025)

The Quantum Learning Menagerie (A survey on Quantum learning for Classical concepts)
di: Chatterjee, Sagnik
Pubblicazione: (2026)

MathScale: Scaling Instruction Tuning for Mathematical Reasoning
di: Tang, Zhengyang, et al.
Pubblicazione: (2024)

PARAMANU-GANITA: Can Small Math Language Models Rival with Large Language Models on Mathematical Reasoning?
di: Niyogi, Mitodru, et al.
Pubblicazione: (2024)

WirelessMathLM: Teaching Mathematical Reasoning for LLMs in Wireless Communications with Reinforcement Learning
di: Li, Xin, et al.
Pubblicazione: (2025)

Probabilistic Graphical Models: A Concise Tutorial
di: Maasch, Jacqueline, et al.
Pubblicazione: (2025)

Unsupervised Domain Adaptation Via Data Pruning
di: Napoli, Andrea, et al.
Pubblicazione: (2024)

Can LLMs $\textit{understand}$ Math? -- Exploring the Pitfalls in Mathematical Reasoning
di: Roy, Tiasa Singha, et al.
Pubblicazione: (2025)

Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models -- The Story Goes On
di: Zeng, Liang, et al.
Pubblicazione: (2024)

WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct
di: Luo, Haipeng, et al.
Pubblicazione: (2023)

AgentMath: Empowering Mathematical Reasoning for Large Language Models via Tool-Augmented Agent
di: Luo, Haipeng, et al.
Pubblicazione: (2025)

We-Math 2.0: A Versatile MathBook System for Incentivizing Visual Mathematical Reasoning
di: Qiao, Runqi, et al.
Pubblicazione: (2025)

Learning to Configure Mathematical Programming Solvers by Mathematical Programming
di: Iommazzo, Gabriele, et al.
Pubblicazione: (2024)