Results 141 to 150 of about 2,755 (229)

Connexive Exclusion. [PDF]

open access: yesErkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving [PDF]

open access: green
Chenyang An   +8 more
openalex   +1 more source

Home - About - Disclaimer - Privacy