大模型推理能力 - arXivDaily 专题

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)

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

1. 代码与定理证明 1129 篇

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

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