:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lv, Kunhang, Dong, Yuhang, Han, Rui, Jia, Fuqi, Ma, Feifei, Zhang, Jian
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2601.04675
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Data Compressibility Quantifies LLM Memorization
by: Huang, Yizhan, et al.
Published: (2025)

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

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

Multi-Scale Dilated Convolution Network for Long-Term Time Series Forecasting
by: Li, Feifei, et al.
Published: (2024)

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

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

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

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

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

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

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

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

DreamStory: Open-Domain Story Visualization by LLM-Guided Multi-Subject Consistent Diffusion
by: He, Huiguo, et al.
Published: (2024)

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

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

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

Learning from Risk: LLM-Guided Generation of Safety-Critical Scenarios with Prior Knowledge
by: Wang, Yuhang, et al.
Published: (2025)

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

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