conftrace_

trial-and-error learning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

tactic prediction (1) intuitionistic logic (1) large language model (1) problem solving (1) chain-of-thought prompting (1) automated theorem proving (1) proof search (1) prompt engineering (1)

Papers

Boosting of Thoughts: Trial-and-Error Problem Solving with Large Language Models ICLR 2024 Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving ACL 2024