Image de couverture de livre

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sheng, Junjie, Lin, Yanqiu, Wu, Jiehao, Huang, Yanhong, Shi, Jianqi, Zhang, Min, Wang, Xiangfeng
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Learning to Solve and Verify: A Self-Play Framework for Code and Test Generation
par: Lin, Zi, et autres
Publié: (2025)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
par: Geng, Chuqin, et autres
Publié: (2024)

SolAgent: A Specialized Multi-Agent Framework for Solidity Code Generation
par: Chen, Wei, et autres
Publié: (2026)

AdaptiveLLM: A Framework for Selecting Optimal Cost-Efficient LLM for Code-Generation Based on CoT Length
par: Cheng, Junhang, et autres
Publié: (2025)

SolEval: Benchmarking Large Language Models for Repository-level Solidity Code Generation
par: Peng, Zhiyuan, et autres
Publié: (2025)

The Good, the Bad, and the Missing: Neural Code Generation for Machine Learning Tasks
par: Shin, Jiho, et autres
Publié: (2023)

ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers
par: Lin, Hannah, et autres
Publié: (2025)

Inducing Vulnerable Code Generation in LLM Coding Assistants
par: Zeng, Binqi, et autres
Publié: (2025)

On the Effectiveness of Training Data Optimization for LLM-based Code Generation: An Empirical Study
par: Kuang, Shiqi, et autres
Publié: (2025)

SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
par: Ye, Zhifan, et autres
Publié: (2025)

Bias Testing and Mitigation in LLM-based Code Generation
par: Huang, Dong, et autres
Publié: (2023)

Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts
par: Ouyang, Sheng, et autres
Publié: (2025)

CodeArena: A Collective Evaluation Platform for LLM Code Generation
par: Du, Mingzhe, et autres
Publié: (2025)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
par: Zuo, Jian, et autres
Publié: (2025)

Aligning Requirement for Large Language Model's Code Generation
par: Tian, Zhao, et autres
Publié: (2025)

Code-Survey: An LLM-Driven Methodology for Analyzing Large-Scale Codebases
par: Zheng, Yusheng, et autres
Publié: (2024)

Are They All Good? Evaluating the Quality of CoTs in LLM-based Code Generation
par: Zhang, Binquan, et autres
Publié: (2025)

CodeCoR: An LLM-Based Self-Reflective Multi-Agent Framework for Code Generation
par: Pan, Ruwei, et autres
Publié: (2025)

REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
par: Kuang, Shiqi, et autres
Publié: (2026)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
par: Fakhoury, Sarah, et autres
Publié: (2024)

Bias Unveiled: Investigating Social Bias in LLM-Generated Code
par: Ling, Lin, et autres
Publié: (2024)

An Empirical Study of Interaction Smells in Multi-Turn Human-LLM Collaborative Code Generation
par: Zhang, Binquan, et autres
Publié: (2026)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
par: Yang, Chen, et autres
Publié: (2026)

Search-Induced Issues in Web-Augmented LLM Code Generation: Detecting and Repairing Error-Inducing Pages
par: Wang, Guoqing, et autres
Publié: (2026)

Dependency-Aware Code Naturalness
par: Yang, Chen, et autres
Publié: (2024)

Improving LLM Code Generation via Requirement-Aware Curriculum Reinforcement Learning
par: Yin, Shouyu, et autres
Publié: (2026)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
par: Tian, Zhao, et autres
Publié: (2023)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
par: Lin, Peisen, et autres
Publié: (2024)

GeoJSON Agents:A Multi-Agent LLM Architecture for Geospatial Analysis-Function Calling vs Code Generation
par: Luo, Qianqian, et autres
Publié: (2025)

CodeVision: Detecting LLM-Generated Code Using 2D Token Probability Maps and Vision Models
par: Xu, Zhenyu, et autres
Publié: (2025)

Guiding AI to Fix Its Own Flaws: An Empirical Study on LLM-Driven Secure Code Generation
par: Yan, Hao, et autres
Publié: (2025)

Context-Aware CodeLLM Eviction for AI-assisted Coding
par: Thangarajah, Kishanthan, et autres
Publié: (2025)

LLM-Empowered Event-Chain Driven Code Generation for ADAS in SDV systems
par: Petrovic, Nenad, et autres
Publié: (2025)

Beyond Code Generation: Assessing Code LLM Maturity with Postconditions
par: He, Fusen, et autres
Publié: (2024)

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
par: Mu, Fangwen, et autres
Publié: (2025)

Lares: LLM-driven Code Slice Semantic Search for Patch Presence Testing
par: Li, Siyuan, et autres
Publié: (2025)

TraceCoder: A Trace-Driven Multi-Agent Framework for Automated Debugging of LLM-Generated Code
par: Huang, Jiangping, et autres
Publié: (2026)

Simplicity by Obfuscation: Evaluating LLM-Driven Code Transformation with Semantic Elasticity
par: De Tomasi, Lorenzo, et autres
Publié: (2025)

Uncovering Intention through LLM-Driven Code Snippet Description Generation
par: Nugroho, Yusuf Sulistyo, et autres
Publié: (2025)

HumanEvalComm: Benchmarking the Communication Competence of Code Generation for LLMs and LLM Agent
par: Wu, Jie JW, et autres
Publié: (2024)