大模型推理能力 - arXivDaily 专题

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

2111.10824 2021-11-23 cs.MA cs.GT cs.LO 50%

A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs

Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras

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

Comments This is an extended version of our accepted paper at The 4th IEEE International Conference on Blockchain (IEEE Blockchain-2021)

2110.12591 2021-10-27 cs.SE cs.HC cs.LO 50%

Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study

Siddhartha Bhattacharyya, Jennifer Davis, Anubhav Gupta, Nandith Narayan, Michael Matessa

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

Comments In Proceedings FMAS 2021, arXiv:2110.11527

Journal ref EPTCS 348, 2021, pp. 150-166

1909.05618 2021-09-21 cs.LO 50%

Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL

Jonathan Julián Huerta y Munive, Georg Struth

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

Comments 43 pages, 2 figures, journal

2105.02578 2021-05-07 cs.PL 50%

Modelling and Verifying BDI Agents with Bigraphs

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

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

Comments 50 pages, 24 figures

2006.15750 2021-02-25 cs.LO 50%

Access-based Intuitionistic Knowledge

Steffen Lewitzka

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

Comments 28 pages

Journal ref Journal of Logic and Computation, Oxford University Press, 2021

1907.00713 2020-10-23 cs.LO cs.CR cs.PL 50%

Verifying that a compiler preserves concurrent value-dependent information-flow security

Robert Sison, Toby Murray

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

Comments To appear in the 10th International Conference on Interactive Theorem Proving (ITP 2019). Extended version with appendix. For supplement material, see https://covern.org/itp19.html

2010.10967 2020-10-22 cs.HC 50%

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems

Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Kruger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Hoffmann Jorg

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

Comments In Proceedings of Workshop at CHI

2009.06054 2020-09-15 cs.IR 50%

Deconstructing Legal Text_Object Oriented Design in Legal Adjudication

Megan Ma, Dmitriy Podkopaev, Avalon Campbell-Cousins, Adam Nicholas

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

1909.00436 2019-09-04 cs.LO 50%

ExpTime Tableaux for Type PDL

Agathoklis Kritsimallis, Ioannis Refanidis

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

Comments 45 pages

1812.05444 2018-12-14 cs.CR cs.LO 50%

Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft

Zaynah Dargaye, Antonella Pozzo, Sara Tucci-Piergiovanni

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

1705.05658 2017-05-17 math.AP 50%

Optimal density evolution with congestion: L infinity bounds via flow interchange techniques and applications to variational Mean Field Games

Hugo Lavenant, Filippo Santambrogio

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

1. 代码与定理证明 1129 篇

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

A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs

Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study

Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL

Modelling and Verifying BDI Agents with Bigraphs

Access-based Intuitionistic Knowledge

Verifying that a compiler preserves concurrent value-dependent information-flow security

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems

Deconstructing Legal Text_Object Oriented Design in Legal Adjudication

ExpTime Tableaux for Type PDL

Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft

Optimal density evolution with congestion: L infinity bounds via flow interchange techniques and applications to variational Mean Field Games