Taming Differentiable Logics with Coq Formalisation.
Reynald AffeldtAlessandro BruniEkaterina KomendantskayaNatalia SlusarzKathrin StarkPublished in: CoRR (2024)
Keyphrases
- formal analysis
- formal methods
- expressive power
- inference rules
- modal logic
- objective function
- theorem prover
- software engineering
- loss function
- theorem proving
- genetic algorithm
- legal reasoning
- conditional logic
- proof theory
- classical logic
- decision procedures
- database
- evolutionary algorithm
- pairwise
- search engine
- artificial intelligence
- data sets