Copertina

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Yongchao, Hao, Yilun, Liu, Yueying, Zhang, Yang, Fan, Chuchu
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Artificial Intelligence Machine Learning Symbolic Computation Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
di: Chen, Yongchao, et al.
Pubblicazione: (2025)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
di: Hao, Yilun, et al.
Pubblicazione: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
di: Beyer, Dirk, et al.
Pubblicazione: (2025)

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
di: Chen, Yongchao, et al.
Pubblicazione: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
di: Dinu, Marius-Constantin, et al.
Pubblicazione: (2024)

Open Source Prover in the Attic
di: Kovács, Zoltán, et al.
Pubblicazione: (2024)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
di: Dzafic, Izudin, et al.
Pubblicazione: (2025)

Debugging code world models
di: Rahmani, Babak
Pubblicazione: (2026)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
di: De Luca, Marco, et al.
Pubblicazione: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
di: Jayasena, Aruna, et al.
Pubblicazione: (2023)

A Symbolic Computing Perspective on Software Systems
di: Norman, Arthur C., et al.
Pubblicazione: (2024)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
di: Tirpankar, Tanmay, et al.
Pubblicazione: (2025)

Practical Modelling with Bigraphs
di: Archibald, Blair, et al.
Pubblicazione: (2024)

CodeMind: Evaluating Large Language Models for Code Reasoning
di: Liu, Changshu, et al.
Pubblicazione: (2024)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
di: Yu, Xuanqing, et al.
Pubblicazione: (2024)

Self-Explained Keywords Empower Large Language Models for Code Generation
di: Fan, Lishui, et al.
Pubblicazione: (2024)

CodexGraph: Bridging Large Language Models and Code Repositories via Code Graph Databases
di: Liu, Xiangyan, et al.
Pubblicazione: (2024)

CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
di: Su, Zian, et al.
Pubblicazione: (2024)

CodeS: Natural Language to Code Repository via Multi-Layer Sketch
di: Zan, Daoguang, et al.
Pubblicazione: (2024)

Towards Automatic Transformations of Coq Proof Scripts
di: Magaud, Nicolas
Pubblicazione: (2024)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2026)

Mitigating Gender Bias in Code Large Language Models via Model Editing
di: Qin, Zhanyue, et al.
Pubblicazione: (2024)

CodeMirage: Hallucinations in Code Generated by Large Language Models
di: Agarwal, Vibhor, et al.
Pubblicazione: (2024)

Memory as Resonance: A Biomimetic Architecture for Infinite Context Memory on Ergodic Phonetic Manifolds
di: Houichime, Tarik, et al.
Pubblicazione: (2025)

A Survey on Large Language Models for Code Generation
di: Jiang, Juyong, et al.
Pubblicazione: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
di: Aswal, Darpan, et al.
Pubblicazione: (2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
di: Grahl, Johanna, et al.
Pubblicazione: (2025)

A Code Comprehension Benchmark for Large Language Models for Code
di: Havare, Jayant, et al.
Pubblicazione: (2025)

Testing the Effect of Code Documentation on Large Language Model Code Understanding
di: Macke, William, et al.
Pubblicazione: (2024)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
di: Shalyt, Michael, et al.
Pubblicazione: (2025)

ConCodeEval: Evaluating Large Language Models for Code Constraints in Domain-Specific Languages
di: Kammakomati, Mehant, et al.
Pubblicazione: (2024)

ArchCode: Incorporating Software Requirements in Code Generation with Large Language Models
di: Han, Hojae, et al.
Pubblicazione: (2024)

Exploring Data-Efficient Adaptation of Large Language Models for Code Generation
di: Jiang, Xue, et al.
Pubblicazione: (2024)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
di: Sinha, Sania, et al.
Pubblicazione: (2025)

ShortCoder: Knowledge-Augmented Syntax Optimization for Token-Efficient Code Generation
di: Liu, Sicong, et al.
Pubblicazione: (2026)

Antiassociative algebra in R: introducing the evitaicossa package
di: Hankinn, Robin K. S.
Pubblicazione: (2024)

CODESYNC: Synchronizing Large Language Models with Dynamic Code Evolution at Scale
di: Wang, Chenlong, et al.
Pubblicazione: (2025)

Advancing Language Models for Code-related Tasks
di: Tian, Zhao
Pubblicazione: (2026)