Cite
Notes
Only stored in your browser.
Attribution
Extracting Mathematical Concepts with Large Language Models
arXiv 2023
MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity
SCiL 2020 1
from 2 papers
Atreyee Mukherjee
Hai Hu
Kyle Richardson
Pavel Kovalev
Qi Chen
Qiyue Gao
Sandra Kuebler
Valeria de Paiva