Buchumschlag

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jin, Xiangyu, Zhan, Bohua, Wang, Shuling, Zhan, Naijun
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Generalized Hybrid Hoare Logic
von: Zhan, Naijun, et al.
Veröffentlicht: (2023)

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
von: Xu, Xiong, et al.
Veröffentlicht: (2025)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
von: Qian, Yicheng, et al.
Veröffentlicht: (2025)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
von: Pusceddu, Daniele, et al.
Veröffentlicht: (2024)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes
von: Wang, Shuling, et al.
Veröffentlicht: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
von: Lamont, Sean, et al.
Veröffentlicht: (2024)

Vibe Coding an LLM-powered Theorem Prover
von: Hou, Zhe
Veröffentlicht: (2026)

Theorem Provers: One Size Fits All?
von: Oates, Harrison, et al.
Veröffentlicht: (2025)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
von: Wu, Hao, et al.
Veröffentlicht: (2024)

Proof Recommendation System for the HOL4 Theorem Prover
von: Dekhil, Nour, et al.
Veröffentlicht: (2024)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
von: Taylor, Alexander K, et al.
Veröffentlicht: (2026)

OSVAuto: automatic proofs about functional specifications in OS verification
von: Wu, Yulun, et al.
Veröffentlicht: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
von: Li, Jinzheng, et al.
Veröffentlicht: (2026)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
von: Li, Xiakun, et al.
Veröffentlicht: (2026)

Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers
von: Sonoda, Sho, et al.
Veröffentlicht: (2026)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
von: Tang, Xichen
Veröffentlicht: (2025)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
von: Gamboa, Ruben, et al.
Veröffentlicht: (2025)

Quantifier Elimination Meets Treewidth
von: Wu, Hao, et al.
Veröffentlicht: (2026)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
von: Li, Guchan, et al.
Veröffentlicht: (2026)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
von: Dong, Kefan, et al.
Veröffentlicht: (2025)

Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
von: Fang, Jian, et al.
Veröffentlicht: (2025)

Compression of enumerations and gain
von: Barmpalias, George, et al.
Veröffentlicht: (2023)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
von: Shen, Ziju, et al.
Veröffentlicht: (2025)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
von: Tsoukalas, George, et al.
Veröffentlicht: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
von: Zhang, Manqing, et al.
Veröffentlicht: (2026)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
von: Kabra, Aditi, et al.
Veröffentlicht: (2026)

Automated Theorem Proving for Prolog Verification
von: Mesnard, Fred, et al.
Veröffentlicht: (2026)

Formalization of Amicable Numbers Theory
von: Chen, Zhipeng, et al.
Veröffentlicht: (2026)

Partial Label Learning for Automated Theorem Proving
von: Zombori, Zsolt, et al.
Veröffentlicht: (2025)

Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
von: Allen, Bradley P.
Veröffentlicht: (2026)

Parallelism and Adaptivity in Student-Teacher Witnessing
von: Ježil, Ondřej, et al.
Veröffentlicht: (2026)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

Complete Dynamic Logic of Communicating Hybrid Programs
von: Brieger, Marvin, et al.
Veröffentlicht: (2024)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)