| Higher-Order DisCoCat (Peirce-Lambek-Montague semantics) | Nov 29, 2023 | Negation | —Unverified | 0 |
| A unified weighting framework for evaluating nearest neighbour classification | Nov 28, 2023 | ClassificationNegation | —Unverified | 0 |
| Regularization by Texts for Latent Diffusion Inverse Solvers | Nov 27, 2023 | Negation | CodeCode Available | 1 |
| You don't need a personality test to know these models are unreliable: Assessing the Reliability of Large Language Models on Psychometric Instruments | Nov 16, 2023 | Natural Language UnderstandingNegation | CodeCode Available | 0 |
| Instant3D: Instant Text-to-3D Generation | Nov 14, 2023 | 3D GenerationNegation | CodeCode Available | 1 |
| Improving Zero-shot Reader by Reducing Distractions from Irrelevant Documents in Open-Domain Question Answering | Oct 26, 2023 | Answer SelectionNegation | —Unverified | 0 |
| This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models | Oct 24, 2023 | DescriptiveNegation | CodeCode Available | 1 |
| Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogism | Oct 23, 2023 | Logical ReasoningNegation | —Unverified | 0 |
| Generating Prototypes for Contradiction Detection Using Large Language Models and Linguistic Rules | Oct 23, 2023 | Language ModelingLanguage Modelling | CodeCode Available | 0 |
| Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis | Oct 11, 2023 | NegationTranslation | CodeCode Available | 0 |
