14 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 14 cited
Understanding Causality with Large Language Models: Feasibility and Opportunities
Cheng Zhang, Stefan Bauer, Paul Bennett +8
We assess the ability of large language models (LLMs) to answer causal questions by analyzing their strengths and weaknesses against three types of causal question. We believe that…
cs.DL2021
An Evaluation of the Archive of Formal Proofs
Carlin MacKenzie, Jacques Fleuriot, James Vaughan
The Archive of Formal Proofs (AFP) is an online repository of formal proofs for the Isabelle proof assistant. It serves as a central location for publishing, discovering, and viewi…