Copertina

LLM-Guided Quantified SMT Solving over Uninterpreted Functions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lv, Kunhang, Dong, Yuhang, Han, Rui, Jia, Fuqi, Ma, Feifei, Zhang, Jian
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
di: Shi, Weichun, et al.
Pubblicazione: (2025)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)

Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
di: Sun, Maolin, et al.
Pubblicazione: (2025)

Motion Generation from Fine-grained Textual Descriptions
di: Li, Kunhang, et al.
Pubblicazione: (2024)

Improving LLM Interpretability and Performance via Guided Embedding Refinement for Sequential Recommendation
di: Jia, Nanshan, et al.
Pubblicazione: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
di: Bartholomew, Michael, et al.
Pubblicazione: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
di: Ratschan, Stefan, et al.
Pubblicazione: (2026)

Enhancing SMT-based Weighted Model Integration by Structure Awareness
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2023)

SMT(LIA) Sampling with High Diversity
di: Lai, Yong, et al.
Pubblicazione: (2025)

Crucible: Quantifying the Potential of Control Algorithms through LLM Agents
di: Jia, Lianchen, et al.
Pubblicazione: (2025)

LUMINA: LLM-Guided GPU Architecture Exploration via Bottleneck Analysis
di: Zhang, Tao, et al.
Pubblicazione: (2026)

Approximate SMT Counting Beyond Discrete Domains
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

MMR-Bench: A Comprehensive Benchmark for Multimodal LLM Routing
di: Ma, Haoxuan, et al.
Pubblicazione: (2026)

Continual Learning of Multiple Cognitive Functions with Brain-inspired Temporal Development Mechanism
di: Han, Bing, et al.
Pubblicazione: (2025)

Solving Quantified Boolean Formulas with Few Existential Variables
di: Eriksson, Leif, et al.
Pubblicazione: (2024)

LeAD: The LLM Enhanced Planning System Converged with End-to-end Autonomous Driving
di: Zhang, Yuhang, et al.
Pubblicazione: (2025)

Parse Trees Guided LLM Prompt Compression
di: Mao, Wenhao, et al.
Pubblicazione: (2024)

How Much Do Large Language Models Know about Human Motion? A Case Study in 3D Avatar Control
di: Li, Kunhang, et al.
Pubblicazione: (2025)

Plan-over-Graph: Towards Parallelable LLM Agent Schedule
di: Zhang, Shiqi, et al.
Pubblicazione: (2025)

A Comparative Study of SMT and MILP for the Nurse Rostering Problem
di: Combrink, Alvin, et al.
Pubblicazione: (2025)

Data Compressibility Quantifies LLM Memorization
di: Huang, Yizhan, et al.
Pubblicazione: (2025)

ChainEdit: Propagating Ripple Effects in LLM Knowledge Editing through Logical Rule-Guided Chains
di: Dong, Zilu, et al.
Pubblicazione: (2025)

EvaLearn: Quantifying the Learning Capability and Efficiency of LLMs via Sequential Problem Solving
di: Dou, Shihan, et al.
Pubblicazione: (2025)

Max It or Miss It: Benchmarking LLM On Solving Extremal Problems
di: Gao, Binxin, et al.
Pubblicazione: (2025)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
di: Davis, Liam, et al.
Pubblicazione: (2025)

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
di: Zhou, Kuo, et al.
Pubblicazione: (2025)

PM-Nav: Priori-Map Guided Embodied Navigation in Functional Buildings
di: Gao, Jiang, et al.
Pubblicazione: (2026)

A Vectorization Method Induced By Maximal Margin Classification For Persistent Diagrams
di: Wu, An, et al.
Pubblicazione: (2024)

Problem-Solving Logic Guided Curriculum In-Context Learning for LLMs Complex Reasoning
di: Ma, Xuetao, et al.
Pubblicazione: (2025)

Plan before Solving: Problem-Aware Strategy Routing for Mathematical Reasoning with LLMs
di: Qi, Shihao, et al.
Pubblicazione: (2025)

HDFlow: Enhancing LLM Complex Problem-Solving with Hybrid Thinking and Dynamic Workflows
di: Yao, Wenlin, et al.
Pubblicazione: (2024)

Grade Score: Quantifying LLM Performance in Option Selection
di: Iourovitski, Dmitri
Pubblicazione: (2024)

Towards Confidential and Efficient LLM Inference with Dual Privacy Protection
di: Yu, Honglan, et al.
Pubblicazione: (2025)

MemLineage: Lineage-Guided Enforcement for LLM Agent Memory
di: Ouyang, Ciyan, et al.
Pubblicazione: (2026)

SMT-EX: An Explainable Surrogate Modeling Toolbox for Mixed-Variables Design Exploration
di: Robani, Mohammad Daffa, et al.
Pubblicazione: (2025)

TeLL-Drive: Enhancing Autonomous Driving with Teacher LLM-Guided Deep Reinforcement Learning
di: Xu, Chengkai, et al.
Pubblicazione: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
di: Köcher, Aljosha, et al.
Pubblicazione: (2023)

Light Alignment Improves LLM Safety via Model Self-Reflection with a Single Neuron
di: Shen, Sicheng, et al.
Pubblicazione: (2026)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
di: Chakraborty, Saikat, et al.
Pubblicazione: (2024)

When Routing Collapses: On the Degenerate Convergence of LLM Routers
di: Lai, Guannan, et al.
Pubblicazione: (2026)