Imagen de Portada

CRANE: Reasoning with constrained LLM generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Banerjee, Debangshu, Suresh, Tarun, Ugare, Shubham, Misailovic, Sasa, Singh, Gagandeep
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

DINGO: Constrained Inference for Diffusion LLMs
por: Suresh, Tarun, et al.
Publicado: (2025)

Incremental Randomized Smoothing Certification
por: Ugare, Shubham, et al.
Publicado: (2023)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
por: Ugare, Shubham, et al.
Publicado: (2024)

SynCode: LLM Generation with Grammar Augmentation
por: Ugare, Shubham, et al.
Publicado: (2024)

Is The Watermarking Of LLM-Generated Code Robust?
por: Suresh, Tarun, et al.
Publicado: (2024)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
por: Kanda, Madhav, et al.
Publicado: (2025)

Enforcing Temporal Constraints for LLM Agents
por: Kamath, Adharsh, et al.
Publicado: (2025)

UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8
por: Firestone, Preston, et al.
Publicado: (2025)

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs
por: Yang, Yuchen, et al.
Publicado: (2024)

Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels
por: Zhao, Yifan, et al.
Publicado: (2026)

BEAVER: An Efficient Deterministic LLM Verifier
por: Suresh, Tarun, et al.
Publicado: (2025)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
por: Zhao, Yifan, et al.
Publicado: (2025)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
por: Gomber, Shaurya, et al.
Publicado: (2025)

SEVerA: Verified Synthesis of Self-Evolving Agents
por: Banerjee, Debangshu, et al.
Publicado: (2026)

Relational DNN Verification With Cross Executional Bound Refinement
por: Banerjee, Debangshu, et al.
Publicado: (2024)

Cost-Driven Synthesis of Sound Abstract Interpreters
por: Gu, Qiuhan, et al.
Publicado: (2025)

Agentic Code Reasoning
por: Ugare, Shubham, et al.
Publicado: (2026)

Data Shifts Hurt CoT: A Theoretical Study
por: Yin, Lang, et al.
Publicado: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)

Support is All You Need for Certified VAE Training
por: Xu, Changming, et al.
Publicado: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
por: Wei, Anjiang, et al.
Publicado: (2025)

SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation
por: Petrukha, Ivan, et al.
Publicado: (2025)

Compiler generated feedback for Large Language Models
por: Grubisic, Dejan, et al.
Publicado: (2024)

Learning a Pessimistic Reward Model in RLHF
por: Xu, Yinglun, et al.
Publicado: (2025)

SuperCoder: Assembly Program Superoptimization with Large Language Models
por: Wei, Anjiang, et al.
Publicado: (2025)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
por: Barone, Antonio Valerio Miceli, et al.
Publicado: (2026)

An LLM-Tool Compiler for Fused Parallel Function Calling
por: Singh, Simranjit, et al.
Publicado: (2024)

SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention
por: Gupta, Ahan, et al.
Publicado: (2024)

vLLM Hook v0: A Plug-in for Programming Model Internals on vLLM
por: Ko, Ching-Yun, et al.
Publicado: (2026)

LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations
por: Tang, Annabelle Sujun, et al.
Publicado: (2026)

EffiPair: Improving the Efficiency of LLM-generated Code with Relative Contrastive Feedback
por: Hajizadeh, Samira, et al.
Publicado: (2026)

Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
por: Alon, Yoav, et al.
Publicado: (2024)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
por: Qin, Zhanyue, et al.
Publicado: (2026)

Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM Decoding
por: Guan, Yue, et al.
Publicado: (2025)

More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation
por: Zi, Yangtian, et al.
Publicado: (2025)

Towards LLM-based optimization compilers. Can LLMs learn how to apply a single peephole optimization? Reasoning is all LLMs need!
por: Fang, Xiangxin, et al.
Publicado: (2024)

The Vulnerability of Language Model Benchmarks: Do They Accurately Reflect True LLM Performance?
por: Banerjee, Sourav, et al.
Publicado: (2024)

Towards Reliable Alignment: Uncertainty-aware RLHF
por: Banerjee, Debangshu, et al.
Publicado: (2024)

Bad Values but Good Behavior: Learning Highly Misspecified Bandits and MDPs
por: Banerjee, Debangshu, et al.
Publicado: (2023)

Attribution-Guided Masking for Robust Cross-Domain Sentiment Classification
por: Harkare, Shubham, et al.
Publicado: (2026)