大模型推理能力 - arXivDaily 专题

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)

2404.12335 2024-05-30 cs.SE 50%

Normative Requirements Operationalization with Large Language Models

Nick Feng, Lina Marsso, S. Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Bev Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

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

2405.16613 2024-05-28 cs.LO 50%

RA: A machine based rational agent, Part 2, Preliminary test

G. Pantelis

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

2405.12551 2024-05-22 cs.LO 50%

RA: A machine based rational agent, Part 1

G. Pantelis

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

2405.07505 2024-05-14 cs.LO cs.FL math.LO 50%

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)

Jan Rooduijn, Dexter Kozen, Alexandra Silva

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

Comments Full version of paper accepted at IJCAR 2024

2404.04627 2024-04-09 cs.CV 50%

Self-Training Large Language Models for Improved Visual Program Synthesis With Visual Reinforcement

Zaid Khan, Vijay Kumar BG, Samuel Schulter, Yun Fu, Manmohan Chandraker

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

Comments CVPR 2024

2404.01096 2024-04-02 cs.SE cs.PL 50%

Enabling Memory Safety of C Programs using LLMs

Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

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

2403.14071 2024-03-22 cs.HC 50%

Empowering Personalized Learning through a Conversation-based Tutoring System with Student Modeling

Minju Park, Sojung Kim, Seunghyun Lee, Soonwoo Kwon, Kyuseok Kim

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

Comments Accepted to ACM CHI 2024 LBW

2403.03429 2024-03-07 cs.PL 50%

Generative Explanations for Program Synthesizers

Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman

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

2402.13075 2024-02-21 eess.SY cs.RO cs.SY 50%

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

Xiang Yin, Bingzhao Gao, Xiao Yu

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

2402.07573 2024-02-13 eess.SP 50%

Goal-Oriented and Semantic Communication in 6G AI-Native Networks: The 6G-GOALS Approach

Emilio Calvanese Strinati, Paolo Di Lorenzo, Vincenzo Sciancalepore, Adnan Aijaz, Marios Kountouris, Deniz Gündüz, Petar Popovski, Mohamed Sana, Photios A. Stavrou, Beatriz Soret, Nicola Cordeschi, Simone Scardapane, Mattia Merluzzi, Lanfranco Zanzi, Mauro Boldi Renato, Tony Quek, Nicola di Pietro, Olivier Forceville, Francesca Costanzo, Peizheng Li

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

2311.09777 2023-11-17 cs.GT cs.MA 50%

Trust Modelling and Verification Using Event-B

Asieh Salehi Fathabadi, Vahid Yazdanpanah

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

Comments In Proceedings FMAS 2023, arXiv:2311.08987

Journal ref EPTCS 395, 2023, pp. 10-16

2310.17234 2023-10-27 cs.MA 50%

Computationally Feasible Strategies

Catalin Dima, Wojciech Jamroga

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

2308.02073 2023-08-07 cs.MA 50%

BEAM: The Modeling Framework for Behavior, Energy, Autonomy & Mobility

Haitam Laarabi, Zachary Needell, Rashid Waraich, Cristian Poliziani, Tom Wenzel

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

Comments 47 pages, 12 figures, 6 tables, "under review" for publication as a Lawrence Berkeley National Laboratory Technical Report

2303.15642 2023-03-29 cs.LO 50%

Graph Sequence Learning for Premise Selection

Edvard K. Holden, Konstantin Korovin

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

Comments 17 pages

2212.05244 2022-12-13 cs.PL cs.CR cs.LO 50%

A Quantitative Flavour of Robust Reachability

Sébastien Bardin, Guillaume Girol

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

2203.03054 2022-11-21 cs.SC cs.CR cs.LO cs.SI 50%

Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control

Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer

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

Comments 27 pages

2201.10041 2022-11-21 physics.flu-dyn math.OC physics.comp-ph 50%

Migration of self-propelling agent in a turbulent environment with minimal energy consumption

Ao Xu, Hua-Lin Wu, Heng-Dong Xi

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

Comments 23 pages, 12 figures

Journal ref Physics of Fluids 2022, 34 (3), 035117

2105.09169 2022-08-19 cs.LO 50%

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker

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

2112.07187 2022-07-21 eess.SY cs.SY math.OC 50%

Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach

Abolfazl Lavaei, Luigi Di Lillo, Andrea Censi, Emilio Frazzoli

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

Comments This work has been accepted at IEEE Transactions on Control of Network Systems

1. 代码与定理证明 1124 篇

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

Normative Requirements Operationalization with Large Language Models

RA: A machine based rational agent, Part 2, Preliminary test

RA: A machine based rational agent, Part 1

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)

Self-Training Large Language Models for Improved Visual Program Synthesis With Visual Reinforcement

Enabling Memory Safety of C Programs using LLMs

Empowering Personalized Learning through a Conversation-based Tutoring System with Student Modeling

Generative Explanations for Program Synthesizers

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

Goal-Oriented and Semantic Communication in 6G AI-Native Networks: The 6G-GOALS Approach

Trust Modelling and Verification Using Event-B

Computationally Feasible Strategies

BEAM: The Modeling Framework for Behavior, Energy, Autonomy & Mobility

Graph Sequence Learning for Premise Selection

A Quantitative Flavour of Robust Reachability

Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control

Migration of self-propelling agent in a turbulent environment with minimal energy consumption

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach