Fetching the paper…
Reading the bibliography…
Empirical methods to examine the capability of Large Language Models (LLMs) to use Automated Theorem Prover (ATP) reasoning strategies are studied.
A Machine-Oriented Logic Based on the Resolution Principle
\bibfield · 1965
Earlier work this paper cites.
Mechanical Theorem-Proving by Model Elimination
\bibfield · 1968
Earlier work this paper cites.
An implementation of hyper-resolution
\bibfield · 1975
Earlier work this paper cites.
Magic sets and other strange ways to implement logic programs (extended abstract). In \bibinfo
\bibfield · 1985
Earlier work this paper cites.
Hyper tableaux. In \bibinfo
\bibfield · 1996
Earlier work this paper cites.
The birth of Prolog
\bibfield · 1996
Earlier work this paper cites.
\bibinfo
\bibfield · 2008
Earlier work this paper cites.
\bibinfo
\bibfield · 2009
Earlier work this paper cites.
Uncertainty of Measurement: A Review of the Rules for Calculating Uncertainty Components through Functional Relationships
\bibfield · 2012
Earlier work this paper cites.
Recursive Deep Models for Semantic Compositionality Over a Sentiment Treebank. In \bibinfo
\bibfield · 2013
Earlier work this paper cites.
\bibfield
2014
Earlier work this paper cites.
\bibinfo
\bibfield · 2016
Earlier work this paper cites.
\bibinfo
\bibfield · 2017
Earlier work this paper cites.
\bibinfo
\bibfield · 2018
Earlier work this paper cites.
PIQA: Reasoning about Physical Commonsense in Natural Language. In \bibinfo
\bibfield · 2019
Earlier work this paper cites.
\bibinfo
\bibfield · 2019
Earlier work this paper cites.
Quick and (not so) Dirty: Unsupervised Selection of Justification Sentences for Multi-hop Question Answering. In \bibinfo
\bibfield · 2019
Earlier work this paper cites.
\bibinfo
\bibfield · 2019
Earlier work this paper cites.
Language Models are Few-Shot Learners. In \bibinfo
\bibfield · 2020
Earlier work this paper cites.
\bibinfo
\bibfield · 2020
Earlier work this paper cites.
AutoPrompt: Eliciting Knowledge from Language Models with Automatically Generated Prompts. In \bibinfo
\bibfield · 2020
Earlier work this paper cites.
\bibinfo
\bibfield · 2021
Earlier work this paper cites.
On the Dangers of Stochastic Parrots: Can Language Models Be Too Big?. In \bibinfo
\bibfield · 2021
Earlier work this paper cites.
\bibinfo
\bibfield · 2021
Earlier work this paper cites.
\bibinfo
\bibfield · 2021
Earlier work this paper cites.
\bibinfo
\bibfield · 2021
Earlier work this paper cites.
\bibinfo
\bibfield · 2021
Earlier work this paper cites.
Lawformer: A pre-trained language model for Chinese legal long documents
\bibfield · 2021
Earlier work this paper cites.
\bibinfo
\bibfield · 2022
Cited alongside, same era.
\bibinfo
\bibfield · 2022
Cited alongside, same era.
Large Language Models are Zero-Shot Reasoners. In \bibinfo
\bibfield · 2022
Cited alongside, same era.
Show Your Work: Scratchpads for Intermediate Computation with Langage Models. In \bibinfo
\bibfield · 2022
Cited alongside, same era.
\bibinfo
\bibfield · 2022
Cited alongside, same era.
\bibinfo
\bibfield · 2022
Cited alongside, same era.
Emergent abilities of large language models
\bibfield · 2022
Cited alongside, same era.
\bibinfo
\bibfield · 2023
Later among the works it cites.
\bibinfo
\bibfield · 2023
Later among the works it cites.
\bibinfo
\bibfield · 2023
Later among the works it cites.
On the Planning Abilities of Large Language Models - A Critical Investigation
\bibfield · 2023
Later among the works it cites.
\bibinfo
\bibfield · 2023
Later among the works it cites.
\bibinfo
\bibfield · 2023
Later among the works it cites.
\bibinfo
\bibfield · 2023
Later among the works it cites.
\bibinfo
\bibfield · 2023
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
\bibinfo
\bibfield · 2023
Cited alongside, same era.
Using cognitive psychology to understand GPT-3
\bibfield · 2023
Cited alongside, same era.
\bibinfo
\bibfield · 2023
Cited alongside, same era.
\bibinfo
\bibfield · 2023
Cited alongside, same era.
\bibinfo
\bibfield · 2023
Cited alongside, same era.
Later among the works it cites.
\bibinfo
\bibfield · 2023
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
Time Travel in LLMs: Tracing Data Contamination in Large Language Models
\bibfield · 2024
Later among the works it cites.
Position: LLMs Can’t Plan, But Can Help Planning in LLM-Modulo Frameworks. In \bibinfo
\bibfield · 2024
Later among the works it cites.
Guiding Large Language Models via Directional Stimulus Prompting
\bibfield · 2024
Later among the works it cites.
Power Hungry Processing: Watts Driving the Cost of AI Deployment?. In \bibinfo
\bibfield · 2024
Later among the works it cites.
Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD Examples
\bibfield · 2024
Later among the works it cites.
Are Emergent Abilities of Large Language Models a Mirage?
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2024
Later among the works it cites.
Solving olympiad geometry without human demonstrations
\bibfield · 2024
Later among the works it cites.
Practical and ethical challenges of large language models in education: A systematic scoping review
\bibfield · 2024
Later among the works it cites.
Tree of Thoughts: Deliberate Problem Solving with Large Language Models
\bibfield · 2024
Later among the works it cites.
\bibinfo
\bibfield · 2025
Closest in time.