Image de couverture de livre

Scalable Floating-Point Satisfiability via Staged Optimization

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Yuanzhuo, Fu, Zhoulai, Ravindran, Binoy
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
par: Sim, Hohyun, et autres
Publié: (2026)

Augmented Weak Distance for Fast and Accurate Bounds Checking
par: Fu, Zhoulai, et autres
Publié: (2025)

The Hidden Power of Pure 16-bit Floating-Point Neural Networks
par: Yun, Juyoung, et autres
Publié: (2023)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
par: Sim, HoHyun, et autres
Publié: (2025)

AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework
par: Lin, Hongyu, et autres
Publié: (2025)

Benchmarking Post-Training Quantization of Large Language Models under Microscaling Floating Point Formats
par: Zhang, Manyi, et autres
Publié: (2026)

Polynomial Invariant Generation for Floating-Point Programs
par: Cai, Xuran, et autres
Publié: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
par: Engel, Daniel, et autres
Publié: (2026)

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
par: Qiu, Lei, et autres
Publié: (2026)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
par: Zhang, Yansen, et autres
Publié: (2025)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
par: Cummins, Chris, et autres
Publié: (2024)

LLM-Guided Strategy Synthesis for Scalable Equality Saturation
par: Yin, Chenyun, et autres
Publié: (2026)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
par: Armengol-Estapé, Jordi, et autres
Publié: (2023)

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
par: Xu, Xu, et autres
Publié: (2025)

ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning
par: Chen, Zhirong, et autres
Publié: (2025)

From Large to Small: Transferring CUDA Optimization Expertise via Reasoning Graph
par: Gong, Junfeng, et autres
Publié: (2025)

ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs
par: Kim, Su-Hyeon, et autres
Publié: (2025)

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
par: Zeng, Lingfei, et autres
Publié: (2025)

Provable Coordination for LLM Agents via Message Sequence Charts
par: Bollig, Benedikt, et autres
Publié: (2026)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
par: Councilman, Aaron, et autres
Publié: (2025)

A Problem-Oriented Perspective and Anchor Verification for Code Optimization
par: Ye, Tong, et autres
Publié: (2024)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
par: Liang, Qingyuan, et autres
Publié: (2025)

Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve
par: Chen, Hongzheng, et autres
Publié: (2026)

CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization
par: Zhao, Yang, et autres
Publié: (2024)

Rethinking All Evidence: Enhancing Trustworthy Retrieval-Augmented Generation via Conflict-Driven Summarization
par: Chen, Juan, et autres
Publié: (2025)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
par: Zhang, Huan, et autres
Publié: (2026)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
par: Wang, Peiding, et autres
Publié: (2025)

BeePL: Correct-by-compilation kernel extensions
par: Priya, Swarn, et autres
Publié: (2025)

AutoPDL: Automatic Prompt Optimization for LLM Agents
par: Spiess, Claudio, et autres
Publié: (2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages
par: Pennino, Federico, et autres
Publié: (2025)

REASONING COMPILER: LLM-Guided Optimizations for Efficient Model Serving
par: Tang, Annabelle Sujun, et autres
Publié: (2025)

QiMeng-NeuComBack: Self-Evolving Translation from IR to Assembly Code
par: Fang, Hainan, et autres
Publié: (2025)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
par: Tao, Yichen, et autres
Publié: (2026)

SoD$^2$: Statically Optimizing Dynamic Deep Neural Network
par: Niu, Wei, et autres
Publié: (2024)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
par: Gu, Alex, et autres
Publié: (2025)

TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
par: Nadimi, Bardia, et autres
Publié: (2025)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
par: Cao, Jialun, et autres
Publié: (2025)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
par: Wong, Lionel, et autres
Publié: (2025)

LiteCoOp: Lightweight Multi-LLM Shared-Tree Reasoning for Model-Serving Compiler Optimizations
par: Tang, Annabelle Sujun, et autres
Publié: (2026)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)