research
∙
06/18/2023
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
With the growing interest in large language models, the need for evaluat...
share
research
∙
05/31/2023
Scalable Learning of Latent Language Structure With Logical Offline Cycle Consistency
We introduce Logical Offline Cycle Consistency Optimization (LOCCO), a s...
research
∙
05/15/2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Using reinforcement learning for automated theorem proving has recently ...
research
∙
05/07/2023
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
Nearly all general-purpose neural semantic parsers generate logical form...
research
∙
06/07/2021
Learning to Guide a Saturation-Based Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
research
∙
04/07/2020
Neural Analogical Matching
Analogy is core to human cognition. It allows us to solve problems based...
research
∙
02/02/2020
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Automated theorem proving in first-order logic is an active research are...
research
∙
11/15/2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Recent advances in the integration of deep learning with automated theor...
research
∙
11/05/2019
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Traditional first-order logic (FOL) reasoning systems usually rely on ma...
research
∙
01/09/2019