Picture for Marco Valentino

Marco Valentino

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions

Add code
Feb 18, 2025
Viaarxiv icon

Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions

Add code
Feb 17, 2025
Viaarxiv icon

Integrating Expert Knowledge into Logical Programs via LLMs

Add code
Feb 17, 2025
Viaarxiv icon

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations

Add code
Oct 30, 2024
Figure 1 for Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
Figure 2 for Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
Figure 3 for Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
Figure 4 for Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
Viaarxiv icon

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning

Add code
Oct 18, 2024
Figure 1 for SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
Figure 2 for SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
Figure 3 for SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
Figure 4 for SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
Viaarxiv icon

Reasoning with Natural Language Explanations

Add code
Oct 05, 2024
Viaarxiv icon

A Mechanistic Interpretation of Syllogistic Reasoning in Auto-Regressive Language Models

Add code
Aug 16, 2024
Viaarxiv icon

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Add code
May 02, 2024
Figure 1 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 2 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 3 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 4 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Viaarxiv icon

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials

Add code
Apr 07, 2024
Figure 1 for SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
Figure 2 for SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
Figure 3 for SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
Figure 4 for SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
Viaarxiv icon

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models

Add code
Apr 03, 2024
Figure 1 for Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
Figure 2 for Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
Figure 3 for Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
Figure 4 for Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
Viaarxiv icon