大模型推理能力 - arXivDaily 专题

2509.19854 2025-09-25 cs.LO math.AC 50%

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL

Alessandro Linzi

专题命中代码与定理证明：reasoning(abstract)

2509.15754 2025-09-25 cs.CR cs.PL cs.SE 50%

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus

Toby Sharp

专题命中代码与定理证明：reasoning(abstract)

2509.02878 2025-09-04 cs.HC 50%

Designing a Lightweight GenAI Interface for Visual Data Analysis

Ratanond Koonchanok, Alex Kale, Khairi Reda

专题命中代码与定理证明：reasoning(abstract)

2508.18675 2025-08-27 cs.SE 50%

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision

Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu, Cong Tian, Zhi Jin, Yang Liu

专题命中代码与定理证明：reasoning(abstract)

2508.06342 2025-08-11 cs.CV cs.SI 50%

Street View Sociability: Interpretable Analysis of Urban Social Behavior Across 15 Cities

Kieran Elrod, Katherine Flanigan, Mario Bergés

机构 * Carnegie Mellon University（卡内基梅隆大学）

专题命中代码与定理证明：planning(abstract)

2508.02733 2025-08-06 cs.SE cs.HC 50%

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury

专题命中代码与定理证明：verifier(abstract)

2409.14807 2025-08-05 astro-ph.IM astro-ph.GA 50%

Interpreting Multi-band Galaxy Observations with Large Language Model-Based Agents

Zechang Sun, Yuan-Sen Ting, Yaobo Liang, Nan Duan, Song Huang, Zheng Cai

专题命中代码与定理证明：reasoning(abstract)

Comments Accepted at the NIPS ML4PS Workshop 2024. The journal version is in preparation. Code and data will be fully made public following the journal publication. We welcome any comments and feedback

2507.15241 2025-07-22 cs.SE 50%

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents

Vikram Nitin, Baishakhi Ray, Roshanak Zilouchian Moghaddam

专题命中代码与定理证明：reasoning(abstract)

2507.04857 2025-07-08 cs.SE 50%

Supporting Software Formal Verification with Large Language Models: An Experimental Study

Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao

专题命中代码与定理证明：verifier(abstract)

Comments Accepted for publication in 2025 IEEE 33rd International Requirements Engineering Conference (RE)

2506.18796 2025-06-24 cs.SE 50%

Context-Aware CodeLLM Eviction for AI-assisted Coding

Kishanthan Thangarajah, Boyuan Chen, Shi Chang, Ahmed E. Hassan

专题命中代码与定理证明：reasoning(abstract)

Comments 12 pages, 6 figures

2506.16639 2025-06-23 cs.SE 50%

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation

Boqi Chen, Aren A. Babikian, Shuzhao Feng, Dániel Varró, Gunter Mussbacher

专题命中代码与定理证明：reasoning(abstract)

Comments Accepted at the 33rd IEEE International Requirements Engineering 2025 conference

2506.01536 2025-06-04 quant-ph 50%

Quantum Agents

Eldar Sultanow, Madjid Tehrani, Siddhant Dutta, William J Buchanan, Muhammad Shahbaz Khan

专题命中代码与定理证明：planning(abstract)

Comments 45 Pages, 16 figures, 3 Tables

2505.23311 2025-05-30 cs.LO cs.AR cs.SC 50%

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

Rolf Drechsler

专题命中代码与定理证明：reasoning(abstract)

Comments 4 pages; keynote given at 7th International Symposium on Devices, Circuits and Systems (ISDCS 2025), May 27-30, 2025, IIEST Shibpur, Kolkata, India

2503.00511 2025-04-22 math.OC cs.SY eess.SY math.CT 50%

A Bayesian Interpretation of the Internal Model Principle

Manuel Baltieri, Martin Biehl, Matteo Capucci, Nathaniel Virgo

专题命中代码与定理证明：reasoning(abstract)

Comments 14 pages, no figures

2504.10147 2025-04-15 cs.IR 50%

A Survey of Personalization: From RAG to Agent

Xiaopeng Li, Pengyue Jia, Derong Xu, Yi Wen, Yingyi Zhang, Wenlin Zhang, Wanyu Wang, Yichao Wang, Zhaocheng Du, Xiangyang Li, Yong Liu, Huifeng Guo, Ruiming Tang, Xiangyu Zhao

专题命中代码与定理证明：planning(abstract)

Comments 18 pages, 5 figures

2409.12866 2025-03-25 cs.SE 50%

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications

Lezhi Ma, Shangqing Liu, Lei Bu, Shangru Li, Yida Wang, Yang Liu

专题命中代码与定理证明：reasoning(abstract)

2503.14656 2025-03-20 cs.RO math.OC 50%

Safety-Critical and Distributed Nonlinear Predictive Controllers for Teams of Quadrupedal Robots

Basit Muhammad Imran, Jeeseop Kim, Taizoon Chunawala, Alexander Leonessa, Kaveh Akbari Hamed

专题命中代码与定理证明：planning(abstract)

2502.08646 2025-02-13 cs.CV 50%

Poly-Autoregressive Prediction for Modeling Interactions

Neerja Thakkar, Tara Sadjadpour, Jathushan Rajasegaran, Shiry Ginosar, Jitendra Malik

专题命中代码与定理证明：reasoning(abstract)

Comments preprint

2502.02794 2025-02-06 cs.SE 50%

METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries

Hyeonseok Lee, Gabin An, Shin Yoo

专题命中代码与定理证明：reasoning(abstract)

Comments 8 pages and 7 figures, accepted to LLM4Code 2025

2501.10839 2025-01-22 eess.SY cs.SY 50%

Systems Engineering for Autonomous Vehicles; Supervising AI using Large Language Models (SSuperLLM)

Diomidis Katzourakis

专题命中代码与定理证明：planning(abstract)

Comments 15 pages, 10 figures

2501.09887 2025-01-20 cs.CV 50%

FLORA: Formal Language Model Enables Robust Training-free Zero-shot Object Referring Analysis

Zhe Chen, Zijing Chen

专题命中代码与定理证明：reasoning(abstract)

2412.12513 2024-12-18 cs.SE 50%

Generating Move Smart Contracts based on Concepts

Rabimba Karanjai, Sam Blackshear, Lei Xu, Weidong Shi

专题命中代码与定理证明：planning(abstract)

2309.09437 2024-10-28 cs.AR cs.SE 50%

Using LLMs to Facilitate Formal Verification of RTL

Marcelo Orenes-Vera, Margaret Martonosi, David Wentzlaff

专题命中代码与定理证明：reasoning(abstract)

Comments This work has been submitted to the IEEE for possible publication

2409.19091 2024-10-11 cs.CR 50%

System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective

Fangzhou Wu, Ethan Cecchetti, Chaowei Xiao

专题命中代码与定理证明：planning(abstract)

Comments 23 pages

2409.18753 2024-09-30 cs.CV 50%

Enhancing Explainability in Multimodal Large Language Models Using Ontological Context

Jihen Amara, Birgitta König-Ries, Sheeba Samuel

专题命中代码与定理证明：reasoning(abstract)

2408.11445 2024-08-22 cs.GT econ.TH 50%

Verifying Approximate Equilibrium in Auctions

Fabian R. Pieroth, Tuomas Sandholm

专题命中代码与定理证明：reasoning(abstract)

Comments 35 pages

2407.16504 2024-07-24 cs.CR cs.PL 50%

Language-Based Security for Low-Level MPC

Christian Skalka, Joseph P. Near

专题命中代码与定理证明：reasoning(abstract)

2402.00247 2024-06-12 cs.SE cs.PL 50%

Towards AI-Assisted Synthesis of Verified Dafny Methods

Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble

专题命中代码与定理证明：CoT(abstract)

Comments This is an author provided preprint. The final version will be published at Proc. ACM Softw. Eng; FSE 2024, in July 2024

2406.00699 2024-06-04 cs.CV 50%

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation

Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang, Jinyuan Jia, Zhenyu Chen

专题命中代码与定理证明：verifier(abstract)

Comments Accepted to CVPR2024. Project page: https://github.com/xiaoyuanpigo/maxlin

2405.18586 2024-05-30 eess.SY cs.CR cs.SY 50%

A Verifiable Computing Scheme for Encrypted Control Systems

Francesca Stabile, Walter Lucia, Amr Youssef, Giuseppe Franze

专题命中代码与定理证明：verifier(abstract)

Comments Preprint of the manuscript submitted to the IEEE Control Systems Letters (L-CSS)

1. 代码与定理证明 1129 篇

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus

Designing a Lightweight GenAI Interface for Visual Data Analysis

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision

Street View Sociability: Interpretable Analysis of Urban Social Behavior Across 15 Cities

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

Interpreting Multi-band Galaxy Observations with Large Language Model-Based Agents

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents

Supporting Software Formal Verification with Large Language Models: An Experimental Study

Context-Aware CodeLLM Eviction for AI-assisted Coding

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation

Quantum Agents

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

A Bayesian Interpretation of the Internal Model Principle

A Survey of Personalization: From RAG to Agent

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications

Safety-Critical and Distributed Nonlinear Predictive Controllers for Teams of Quadrupedal Robots

Poly-Autoregressive Prediction for Modeling Interactions

METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries

Systems Engineering for Autonomous Vehicles; Supervising AI using Large Language Models (SSuperLLM)

FLORA: Formal Language Model Enables Robust Training-free Zero-shot Object Referring Analysis

Generating Move Smart Contracts based on Concepts

Using LLMs to Facilitate Formal Verification of RTL

System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective

Enhancing Explainability in Multimodal Large Language Models Using Ontological Context

Verifying Approximate Equilibrium in Auctions

Language-Based Security for Low-Level MPC

Towards AI-Assisted Synthesis of Verified Dafny Methods

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation

A Verifiable Computing Scheme for Encrypted Control Systems