Image de couverture de livre

Inference-Time Code Selection via Symbolic Equivalence Partitioning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cho, David, Wang, Yifan, Sui, Fanping, Grama, Ananth
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SARL: Label-Free Reinforcement Learning by Rewarding Reasoning Topology
par: Wang, Yifan, et autres
Publié: (2026)

No Free Lunch: Fundamental Limits of Learning Non-Hallucinating Generative Models
par: Wu, Changlong, et autres
Publié: (2024)

Generalized Learning of Coefficients in Spectral Graph Convolutional Networks
par: Coşkun, Mustafa, et autres
Publié: (2024)

SAL: Selective Adaptive Learning for Backpropagation-Free Training with Sparsification
par: Liu, Fanping, et autres
Publié: (2026)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
par: Jiang, Nan, et autres
Publié: (2025)

Symbolic State Partitioning for Reinforcement Learning
par: Ghaffari, Mohsen, et autres
Publié: (2024)

CodeScaler: Scaling Code LLM Training and Test-Time Inference via Reward Models
par: Zhu, Xiao, et autres
Publié: (2026)

The Update-Equivalence Framework for Decision-Time Planning
par: Sokota, Samuel, et autres
Publié: (2023)

Deriving Equivalent Symbol-Based Decision Models from Feedforward Neural Networks
par: Seidel, Sebastian, et autres
Publié: (2025)

Constructive Symbolic Reinforcement Learning via Intuitionistic Logic and Goal-Chaining Inference
par: Patrascu, Andrei T.
Publié: (2025)

Deconvolving Complex Neuronal Networks into Interpretable Task-Specific Connectomes
par: Wang, Yifan, et autres
Publié: (2024)

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
par: Liu, Xiaoyang, et autres
Publié: (2026)

Deconfounded Time Series Forecasting: A Causal Inference Approach
par: Gao, Wentao, et autres
Publié: (2024)

Stabilizing MoE Reinforcement Learning by Aligning Training and Inference Routers
par: Ma, Wenhan, et autres
Publié: (2025)

The Illusion of Equivalence: Systematic FP16 Divergence in KV-Cached Autoregressive Inference
par: Chodavarapu, Ranjith, et autres
Publié: (2026)

Correctness-Optimized Residual Activation Lens (CORAL): Transferrable and Calibration-Aware Inference-Time Steering
par: Miao, Miranda Muqing, et autres
Publié: (2026)

On the Equivalence of Random Network Distillation, Deep Ensembles, and Bayesian Inference
par: Zanger, Moritz A., et autres
Publié: (2026)

From Values to Tokens: An LLM-Driven Framework for Context-aware Time Series Forecasting via Symbolic Discretization
par: Tao, Xiaoyu, et autres
Publié: (2025)

Synthetic Series-Symbol Data Generation for Time Series Foundation Models
par: Wang, Wenxuan, et autres
Publié: (2025)

Cascade Reward Sampling for Efficient Decoding-Time Alignment
par: Li, Bolian, et autres
Publié: (2024)

SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search
par: Zhang, Yifan, et autres
Publié: (2025)

Graph Inference Towards ICD Coding
par: Deng, Xiaoxiao
Publié: (2026)

Attention-based Models for Snow-Water Equivalent Prediction
par: Thapa, Krishu K., et autres
Publié: (2023)

Adaptive Inference-Time Scaling via Cyclic Diffusion Search
par: Lee, Gyubin, et autres
Publié: (2025)

Value-Free Policy Optimization via Reward Partitioning
par: Faye, Bilal, et autres
Publié: (2025)

When Good Equations Get Bad Scores: Improving Symbolic Regression Through Better Parameter Optimization
par: Wang, Boxiao, et autres
Publié: (2026)

Surprisal-Guided Selection: Compute-Optimal Test-Time Strategies for Execution-Grounded Code Generation
par: Barnes, Jarrod
Publié: (2026)

Data-Efficient Symbolic Regression via Foundation Model Distillation
par: Ying, Wangyang, et autres
Publié: (2025)

Eliciting Fine-Tuned Transformer Capabilities via Inference-Time Techniques
par: Sharma, Asankhaya
Publié: (2025)

Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning
par: Dickens, Charles, et autres
Publié: (2024)

Harnesses for Inference-Time Alignment over Execution Trajectories
par: Wang, Boyuan, et autres
Publié: (2026)

Messenger RNA Design via Expected Partition Function and Continuous Optimization
par: Dai, Ning, et autres
Publié: (2023)

SpecMoE: A Fast and Efficient Mixture-of-Experts Inference via Self-Assisted Speculative Decoding
par: Bang, Jehyeon, et autres
Publié: (2026)

Certified Adversarial Robustness via Partition-based Randomized Smoothing
par: Goli, Hossein, et autres
Publié: (2024)

On the Equivalence of Graph Convolution and Mixup
par: Han, Xiaotian, et autres
Publié: (2023)

Learnable Chernoff Baselines for Inference-Time Alignment
par: Madhow, Sunil, et autres
Publié: (2026)

Mitigating Data Scarcity in Time Series Analysis: A Foundation Model with Series-Symbol Data Generation
par: Wang, Wenxuan, et autres
Publié: (2025)

ABBA-VSM: Time Series Classification using Symbolic Representation on the Edge
par: Kanatbekova, Meerzhan, et autres
Publié: (2024)

EVIL: Evolving Interpretable Algorithms for Zero-Shot Inference on Event Sequences and Time Series with LLMs
par: Berghaus, David
Publié: (2026)

STEER: Inference-Time Risk Control via Constrained Quality-Diversity Search
par: Yang, Eric, et autres
Publié: (2026)