大模型推理能力

A Quantitative Flavour of Robust Reachability

Sébastien Bardin, Guillaume Girol

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

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

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

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)

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

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)

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

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

Modelling and Verifying BDI Agents with Bigraphs

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

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

Comments 50 pages, 24 figures

Access-based Intuitionistic Knowledge

Steffen Lewitzka

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

Comments 28 pages

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

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

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

Deconstructing Legal Text_Object Oriented Design in Legal Adjudication

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

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

ExpTime Tableaux for Type PDL

Agathoklis Kritsimallis, Ioannis Refanidis

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

Comments 45 pages

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

Zaynah Dargaye, Antonella Pozzo, Sara Tucci-Piergiovanni

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

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)

Conversational Sensing

Alun Preece, Chris Gwilliams, Christos Parizas, Diego Pizzocaro, Jonathan Z. Bakdash, Dave Braines

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

Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents

Manh Tung Pham, Kiam Tian Seow

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

Formal Verification of Monad Transformers

Brian Huffman

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

Comments ICFP 2012: The 17th ACM SIGPLAN International Conference on Functional Programming, 12 pages