Keyphrases
Proof Repair
100%
Automated Verification
66%
Formal Verification
66%
Interactive Theorem Prover
66%
Proof Engineering
66%
Programmer
61%
Proof Assistants
50%
Proof Automation
50%
Large Language Models
46%
Formal Proof
44%
Proof Synthesis
36%
Proof Generation
33%
Type Equivalence
33%
Supervised Model
33%
Model Building
33%
Passport
33%
Proof Reuse
33%
Solver-aided Languages
33%
Engineering Tools
33%
User-centric
33%
Proof Terms
33%
Test Case Generation
33%
Verified Software
33%
Pumpkin
33%
Access Control
33%
Operating System
33%
Structural Recursion
33%
Compiler
33%
Transformer Model
33%
Software System
22%
Benchmark Suite
22%
Interaction Model
22%
Inductive Types
22%
Term Transformation
22%
Coq Proof Assistant
22%
Program Specification
20%
Programming Languages
20%
Software Quality
19%
Isabelle
16%
Automated Proof
16%
Perceived Reliability
16%
Recursive Structure
16%
Testing Tools
16%
Project-based
16%
Program Correctness
16%
Change Specification
16%
Underlying Assumptions
16%
SMT Solver
16%
Small Changes
16%
Standard Library
16%
Computer Science
Formal Verification
100%
Theorem Prover
66%
Program Specification
66%
Large Language Model
55%
Synthesis Proof
36%
Mathematical Property
33%
Software Project
33%
Underlying Assumption
33%
Open Source Project
33%
Build Datasets
33%
Access Control
33%
Constraint Solver
33%
Recursive Structure
33%
Decompilers
33%
Type Equivalence
33%
Case Study
33%
Safety Critical Systems
33%
Imperative Language
33%
Source Language
33%
Target Language
33%
Partial Specification
33%
Target Program
33%
Logic Programming
33%
Incorrect Behavior
33%
Operating System
33%
Domain-specific languages
33%
Programming Language
33%
Learning System
33%
Machine Learning
33%
Software Quality
25%
Interaction Model
22%
Data Identifier
16%
Property System
16%
Synthesis Tool
16%
Core Component
16%
Standard Library
16%
Software Systems
16%
User Interface
14%
New-State
11%
Development Process
11%
Design Consideration
11%
Intensive Task
11%
Granular Data
11%
Interactive Session
11%
Recursive Function
11%
Abstract Concept
11%
Recursive Computation
11%
Formal Language
11%
Tree Search
8%
Search Space
8%
