SynDARin: Synthesising Datasets for Automated Reasoning in Low-Resource Languages.
Gayane GhazaryanErik ArakelyanPasquale MinerviniIsabelle AugensteinPublished in: CoRR (2024)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- reasoning tasks
- decision procedures
- probabilistic reasoning
- theorem proving
- automated verification
- resource allocation
- knowledge representation and reasoning
- artificial intelligence
- first order logic
- propositional satisfiability
- object oriented
- probability distribution
- high level
- data mining