Neural Model Checking Mirco Giacobbe University of Birmingham, UK Daniel Kroening

Oct-10-2025, 11:20:51 GMT–Neural Information Processing Systems

We introduce a machine learning approach to model checking temporal logic, with application to formal hardware verification.

artificial intelligence, logic & formal reasoning, machine learning, (20 more...)

Neural Information Processing Systems

Oct-10-2025, 11:20:51 GMT

Conferences PDF

Country:
- Europe > United Kingdom
  - England
    - Greater London > London (0.04)
    - West Midlands > Birmingham (0.40)
- North America > United States (0.04)

Genre:
- Research Report > New Finding (0.92)

Industry:
- Information Technology (0.66)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
Neural Model Checking Mirco Giacobbe University of Birmingham, UK Daniel Kroening

Similar Docs Excel Report more

Title	Similarity	Source
None found