:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dechtiar, Moriya, Katz, Daniel Martin, Sundaresan, Mari, Jaume, Sylvain, Wang, Hongming
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computation and Language Machine Learning Software Engineering
Online-Zugang:	https://arxiv.org/abs/2511.06618
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SoliDiffy: AST Differencing for Solidity Smart Contracts
von: Eshghie, Mojtaba, et al.
Veröffentlicht: (2024)

Correctness Witnesses with Function Contracts
von: Heizmann, Matthias, et al.
Veröffentlicht: (2025)

Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization
von: Yu, Lei, et al.
Veröffentlicht: (2025)

RepoGraph: Enhancing AI Software Engineering with Repository-level Code Graph
von: Ouyang, Siru, et al.
Veröffentlicht: (2024)

Contract Based Program Models for Software Model Checking
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

Improving Small Language Models for Code Generation with Reinforcement Learning from Verification Feedback
von: Skopin, Egor, et al.
Veröffentlicht: (2026)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
von: Steenhoek, Benjamin, et al.
Veröffentlicht: (2023)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
von: Steenhoek, Benjamin, et al.
Veröffentlicht: (2024)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

LAW: Legal Agentic Workflows for Custody and Fund Services Contracts
von: Watson, William, et al.
Veröffentlicht: (2024)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
von: Basile, Davide
Veröffentlicht: (2025)

HarnessLLM: Automatic Testing Harness Generation via Reinforcement Learning
von: Liu, Yujian, et al.
Veröffentlicht: (2025)

Enhancing Code LLMs with Reinforcement Learning in Code Generation: A Survey
von: Wang, Junqiao, et al.
Veröffentlicht: (2024)

StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
von: Dou, Shihan, et al.
Veröffentlicht: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Detecting Buggy Contracts via Smart Testing
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
von: Sadr, Amirhosein, et al.
Veröffentlicht: (2026)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
von: Richter, Cedric, et al.
Veröffentlicht: (2025)

StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning
von: Wang, Hao, et al.
Veröffentlicht: (2026)

CodePivot: Bootstrapping Multilingual Transpilation in LLMs via Reinforcement Learning without Parallel Corpora
von: Li, Shangyu, et al.
Veröffentlicht: (2026)

SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
von: Fu, David Jiahao, et al.
Veröffentlicht: (2025)

Bridging Code Graphs and Large Language Models for Better Code Understanding
von: Chen, Zeqi, et al.
Veröffentlicht: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
von: Xu, Zhenyang, et al.
Veröffentlicht: (2025)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
von: Zhong, Hua, et al.
Veröffentlicht: (2025)

LLMSniffer: Detecting LLM-Generated Code via GraphCodeBERT and Supervised Contrastive Learning
von: Dihan, Mahir Labib, et al.
Veröffentlicht: (2026)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
von: Zhang, Weixing, et al.
Veröffentlicht: (2024)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
von: Karapetyan, Daniel
Veröffentlicht: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)

SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution
von: Wei, Yuxiang, et al.
Veröffentlicht: (2025)

Contract Usage and Evolution in Android Mobile Applications
von: Ferreira, David R., et al.
Veröffentlicht: (2024)

Institutional Policy Pathways for Supporting Research Software: Global Trends and Local Practices
von: Barker, Michelle, et al.
Veröffentlicht: (2025)

R2Vul: Learning to Reason about Software Vulnerabilities with Reinforcement Learning and Structured Reasoning Distillation
von: Weyssow, Martin, et al.
Veröffentlicht: (2025)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
von: Chen, Zaoyu, et al.
Veröffentlicht: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
von: Monat, Raphaël
Veröffentlicht: (2025)

GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
von: Wu, Jie JW, et al.
Veröffentlicht: (2025)

Reinforcement Learning from Compiler and Language Server Feedback
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)

Joint Embeddings for Graph Instruction Tuning
von: Haag, Aaron, et al.
Veröffentlicht: (2024)