Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Neuro-Symbolic Method"”.
-
Neuro-Symbolic Methods for Natural Language Inference and Question Answering
… neural network models to incorporate logic and symbolic operations. Although deep neural network models have achieved state-of-the-art performance on multiple natural language processing benchmarks, those black-box models can hardly provide explanations for their inner mechanisms. They still …
-
Language models for verifiable mathematical automation: Interaction, integration, and autoformalization
… we construct Draft, Sketch, and Prove, a methodology that uses language models to translate informal proofs into formal proof sketches, and then calls automated theorem provers to fill in the gaps. This neuro-symbolic method can empower the informal proofs with rigour by effectively …