:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Yan, Chuanhao, Che, Fengdi, Huang, Xuhan, Xu, Xu, Li, Xin, Li, Yizhi, Qu, Xingwei, Shi, Jingzhe, Lin, Chenghua, Yang, Yaodong, Yuan, Binhang, Zhao, Hang, Qiao, Yu, Zhou, Bowen, Fu, Jie
Formato:	Preprint
Publicado:	2025
Materias:	Computation and Language
Acceso en línea:	https://arxiv.org/abs/2507.16331
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
por: Zeng, Lingfei, et al.
Publicado: (2025)

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
por: Xu, Xu, et al.
Publicado: (2025)

DafnyBench: A Benchmark for Formal Software Verification
por: Loughridge, Chloe, et al.
Publicado: (2024)

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
por: Chen, Guoxin, et al.
Publicado: (2025)

A Tutorial: An Intuitive Explanation of Offline Reinforcement Learning Theory
por: Che, Fengdi
Publicado: (2025)

Overview of the NLPCC 2024 Shared Task on Chinese Metaphor Generation
por: Qu, Xingwei, et al.
Publicado: (2024)

ReFormer: Generating Radio Fakes for Data Augmentation
por: Kaasaragadda, Yagna, et al.
Publicado: (2024)

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
por: Banerjee, Debangshu, et al.
Publicado: (2026)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
por: Ukhanov, Evgeny
Publicado: (2025)

Dafny as Verification-Aware Intermediate Language for Code Generation
por: Li, Yue Chen, et al.
Publicado: (2025)

Verification of E-Voting Algorithms in Dafny
por: Büttner, Robert, et al.
Publicado: (2025)

dafny-annotator: AI-Assisted Verification of Dafny Programs
por: Poesia, Gabriel, et al.
Publicado: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
por: Erfan, Md, et al.
Publicado: (2026)

Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
por: Carbonell, Juan Pablo, et al.
Publicado: (2025)

TinyV: Reducing False Negatives in Verification Improves RL for LLM Reasoning
por: Xu, Zhangchen, et al.
Publicado: (2025)

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
por: Tihanyi, Norbert, et al.
Publicado: (2023)

Baking for Dafny: A CakeML Backend for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism
por: Chen, Zheyu, et al.
Publicado: (2026)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
por: Amaral, Isabel, et al.
Publicado: (2025)

ReVeal: Self-Evolving Code Agents via Reliable Self-Verification
por: Jin, Yiyang, et al.
Publicado: (2025)

Average-DICE: Stationary Distribution Correction by Regression
por: Che, Fengdi, et al.
Publicado: (2025)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
por: Fedchin, Aleksandr, et al.
Publicado: (2025)

LongEval: A Comprehensive Analysis of Long-Text Generation Through a Plan-based Paradigm
por: Wu, Siwei, et al.
Publicado: (2025)

Overview of the NLPCC 2025 Shared Task: Gender Bias Mitigation Challenge
por: Li, Yizhi, et al.
Publicado: (2025)

DocMMIR: A Framework for Document Multi-modal Information Retrieval
por: Li, Zirui, et al.
Publicado: (2025)

Distributed Consensus Optimization with Consensus ALADIN
por: Du, Xu, et al.
Publicado: (2025)

Towards a Formal Verification of Secure Vehicle Software Updates
por: Hagen, Martin Slind, et al.
Publicado: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
por: Wojtak, Connor, et al.
Publicado: (2025)

Automated Formal Verification of a Software Fault Isolation System
por: Sotoudeh, Matthew, et al.
Publicado: (2025)

Can Digital Transformation Reduce the Zombification of Enterprises?
por: Xiujuan Lan, et al.
Publicado: (2025)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
por: Carreira, Carolina, et al.
Publicado: (2025)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
por: Li, Hongwei, et al.
Publicado: (2025)

CASCADE: A Cascading Architecture for Social Coordination with Controllable Emergence at Low Cost
por: Xu, Yizhi
Publicado: (2026)

The Design of an Interactive Proof Mode for Dafny
por: Ciobâcă, Ştefan, et al.
Publicado: (2025)

Verified VCG and Verified Compiler for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
por: Wang, Weiqi, et al.
Publicado: (2025)

Schedule-Level Shared-Prefix Reuse for LLM RL Training
por: Li, Pengbo, et al.
Publicado: (2026)

On the Opportunities of (Re)-Exploring Atmospheric Science by Foundation Models: A Case Study
por: Zhang, Lujia, et al.
Publicado: (2024)

Dynamics Within Latent Chain-of-Thought: An Empirical Study of Causal Structure
por: Li, Zirui, et al.
Publicado: (2026)

PrepBench: How Far Are We from Natural-Language-Driven Data Preparation?
por: Xu, Jingzhe, et al.
Publicado: (2026)