Copertina

GRAPH-GRPO-LEX: Contract Graph Modeling and Reinforcement Learning with Group Relative Policy Optimization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dechtiar, Moriya, Katz, Daniel Martin, Sundaresan, Mari, Jaume, Sylvain, Wang, Hongming
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Computation and Language Machine Learning Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SoliDiffy: AST Differencing for Solidity Smart Contracts
di: Eshghie, Mojtaba, et al.
Pubblicazione: (2024)

Correctness Witnesses with Function Contracts
di: Heizmann, Matthias, et al.
Pubblicazione: (2025)

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

Improving Small Language Models for Code Generation with Reinforcement Learning from Verification Feedback
di: Skopin, Egor, et al.
Pubblicazione: (2026)

RepoGraph: Enhancing AI Software Engineering with Repository-level Code Graph
di: Ouyang, Siru, et al.
Pubblicazione: (2024)

Contract Based Program Models for Software Model Checking
di: Amilon, Jesper, et al.
Pubblicazione: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
di: Amilon, Jesper, et al.
Pubblicazione: (2026)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
di: Steenhoek, Benjamin, et al.
Pubblicazione: (2023)

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation
di: Steenhoek, Benjamin, et al.
Pubblicazione: (2024)

HarnessLLM: Automatic Testing Harness Generation via Reinforcement Learning
di: Liu, Yujian, et al.
Pubblicazione: (2025)

Enhancing Code LLMs with Reinforcement Learning in Code Generation: A Survey
di: Wang, Junqiao, et al.
Pubblicazione: (2024)

StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
di: Dou, Shihan, et al.
Pubblicazione: (2024)

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

LAW: Legal Agentic Workflows for Custody and Fund Services Contracts
di: Watson, William, et al.
Pubblicazione: (2024)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
di: Basile, Davide
Pubblicazione: (2025)

StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning
di: Wang, Hao, et al.
Pubblicazione: (2026)

CodePivot: Bootstrapping Multilingual Transpilation in LLMs via Reinforcement Learning without Parallel Corpora
di: Li, Shangyu, et al.
Pubblicazione: (2026)

Bridging Code Graphs and Large Language Models for Better Code Understanding
di: Chen, Zeqi, et al.
Pubblicazione: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
di: Xu, Zhenyang, et al.
Pubblicazione: (2025)

LLMSniffer: Detecting LLM-Generated Code via GraphCodeBERT and Supervised Contrastive Learning
di: Dihan, Mahir Labib, et al.
Pubblicazione: (2026)

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

Detecting Buggy Contracts via Smart Testing
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

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

SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
di: Fu, David Jiahao, et al.
Pubblicazione: (2025)

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

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
di: Karapetyan, Daniel
Pubblicazione: (2025)

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

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
di: Monat, Raphaël
Pubblicazione: (2025)

Institutional Policy Pathways for Supporting Research Software: Global Trends and Local Practices
di: Barker, Michelle, et al.
Pubblicazione: (2025)

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
di: Yaacov, Tom, et al.
Pubblicazione: (2025)

Joint Embeddings for Graph Instruction Tuning
di: Haag, Aaron, et al.
Pubblicazione: (2024)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
di: Zhong, Hua, et al.
Pubblicazione: (2025)

HateModerate: Testing Hate Speech Detectors against Content Moderation Policies
di: Zheng, Jiangrui, et al.
Pubblicazione: (2023)

SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution
di: Wei, Yuxiang, et al.
Pubblicazione: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)

Bias Testing and Mitigation in Black Box LLMs using Metamorphic Relations
di: Salimian, Sina, et al.
Pubblicazione: (2025)

R2Vul: Learning to Reason about Software Vulnerabilities with Reinforcement Learning and Structured Reasoning Distillation
di: Weyssow, Martin, et al.
Pubblicazione: (2025)

Learning Code-Edit Embedding to Model Student Debugging Behavior
di: Heickal, Hasnain, et al.
Pubblicazione: (2025)