Proof Obligations Safely for SMT.

Rosalie Defourné

Published in: ABZ (2023)

Keyphrases

statistical machine translation
genetic algorithm
learning algorithm
theorem prover
agent architecture
linear logic
proof planning
database
search engine
information systems
hidden markov models
word alignment
complete axiomatization